P
Initializing...
Proposition 3.33: recognizability closed under iteration · Prove2Me