P
Initializing...
Corollary 3.32: operation symbols preserve recognizability · Prove2Me