P
Initializing...
Artin representation of the braid group is well-defined · Prove2Me