搜索

当搜索多个关键词时，只会显示同时包含所有关键词的内容。

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