Search content within a proof
-
Open the proof that you want to search.
-
In the toolbar above the proof, click the Search document icon.
-
Begin typing the text you want to search for.
The search tool highlights the text in the document as you type.
-
Finish typing the text you want to search for, then click the Up and Down arrows to scan through the search results within the proof.
recommendation-more-help