P
Initializing...
The class group is the braid group modulo the trivial braids (Theorem 3.7) · Prove2Me