Theorem Cardinal.lift_eq_nat_iff

Modification history