P
Initializing...
The loop-reading homomorphism descends to the link-homotopy quotient (Lemma 2.14) · Prove2Me