Theorem PiNat.mem_cylinder_iff_le_firstDiff

Modification history