Есть ли способ сделать расширенный поиск?
Я могу искать теорему в предварительном просмотре, но она дает теорему и теорему
Как мне перечислить все теоремы и леммы в pdf-копии CLRS?
Например, все теоремы начинаются с теоремы xx, а леммы с леммы xx.