P
Initializing...
Proposição 3.13: every $2$-braid is a power of $\sigma_1$ · Prove2Me