Theorem NNReal.isConjExponent_comm

Modification history