P
Initializing...
Proposition 3.30: recognizability closed under substitution · Prove2Me