Theorem Cardinal.lift_le_ofNat_iff

Modification history