Theorem PiNat.cylinder_zero

Modification history