Theorem PiNat.mem_cylinder_iff_eq

Modification history