P
Initializing...
A $\Sigma^+$-homomorphism elementary on old sorts is elementary · Prove2Me