Buscar

Pesquisando por várias palavras só mostra correspondências que contêm todas as palavras.

Note also that you can also call "search_src(...)" in Sage to search Sage's source code.