Theorem ENNReal.IsConjExponent.inv_one_sub_inv

Modification history