P
Initializing...
Corollary 3.17: homomorphism invariance under state-preserving substitution · Prove2Me