P
Initializing...
The link-homotopy relation is a congruence for the concatenation product (Lemma 3.4) · Prove2Me