Theorem ENNReal.supᵢ_zero_eq_zero

Modification history