Theorem ENNReal.tsum_const_eq

Modification history