Theorem Cardinal.lift_supᵢ_le_lift_supᵢ

Modification history