Existe uma maneira de fazer encontrar avançado?
Eu posso pesquisar o teorema na pré-visualização, mas ele dá tanto o teorema quanto o teorema
Como faço para listar todos os teoremas e lemas em uma cópia em pdf do CLRS?
por exemplo todos os teoremas começam com o Teorema x.x e lemas com o Lema x.x
No Linux eu uso pdfgrep que tem suporte de regex completo. Está disponível para Mac.
fonte