At the time Peter Scholze contacted the speaker, the library knew a substantial amount of undergraduate mathematics but little beyond that.

“This was back when the library had just basically graduated in some sense. You know, we had sort of-- it, it, it knew a lot of undergraduate level mathematics, but not too much else.”