P
Initializing...
A hyperbolic $3$-manifold whose volume is a rational multiple of Catalan's constant · Prove2Me