Theorem NNReal.IsConjExponent.one_sub_inv_inv

Modification history