Theorem Cardinal.lift_iSup_le_iff

Modification history