P
Initializing...
Theorem 4.10: $F$ is not elementary amenable · Prove2Me