Theorem NNReal.isConjExponent_iff_eq_conjExponent

Modification history