P
Initializing...
Eigenvalue one or minus one on a lattice yields two Reidemeister classes (Lemma 4) · Prove2Me