Theorem Cardinal.one_lt_lift_iff

Modification history