P
Initializing...
Goal - the volumes of hyperbolic 3-manifolds are not all rationally related · Prove2Me