Theorem NNReal.IsConjExponent.sub_one_ne_zero

Modification history