P
Initializing...
Kernel of the reduced Burau specialization at $t = -1$ is the normal closure of the full twist squared · Prove2Me