Theorem PiNat.cylinder_eq_pi

Modification history