P

Initializing...

Theorem 1.9, sufficiency: an endomorphism satisfying (i) and (ii) is a braid automorphism · Prove2Me