P
Initializing...
Corollary 3.31: single-variable substitution preserves recognizability · Prove2Me