Theorem Cardinal.le_lift_iff

Modification history