A sua busca - push ((_ batch) OR (of banach))~ - não corresponde a nenhum registro.
Você pode obter mais resultados ajustando o argumento de busca.
- As palavras AND, OR e NOT pode ocasionar problemas na busca; tente utilizar as aspas: "push ((_ batch) OR (of banach))~".
- Adicionar um caractere curinga pode recuperar variações da palavra buscada: push ((_ batch) OR (of banach))*.