Theorem Cardinal.ofNat_eq_lift_iff

Modification history