P
Initializing...
Magnus–Peluso: the Burau representation $\rho_3$ of $B_3$ is faithful · Prove2Me