Theorem Cardinal.one_eq_lift_iff

Modification history