Theorem NNReal.IsConjExponent.inv_ne_zero

Modification history