You may select a new search term and repeat your search.
Searches are not case sensitive, and you can use
in your queries.
Query was: theorem
Here are the matching lines in their respective documents.
Select one of the highlighted words in the matching lines below
to jump to that point in the document.