P
Initializing...
The descended loop-reading homomorphism is surjective (Lemma 2.14) · Prove2Me