Theorem Cardinal.lift_iSup_le_lift_iSup

Modification history