A sua busca - push ((_ banach) OR (of banach))* - não corresponde a nenhum registro.
Você pode obter mais resultados ajustando o argumento de busca.
- Fazer uma busca fuzzy pode resultar em termos de grafias semelhantes: push ((_ banach) OR (of banach))~.
- As palavras AND, OR e NOT pode ocasionar problemas na busca; tente utilizar as aspas: "push ((_ banach) OR (of banach))*".