Búsqueda

La búsqueda de varias palabras solo muestra coincidencias que contienen todas las palabras.

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