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
