Theorem Cardinal.one_le_lift_iff

Modification history