Theorem NNReal.HolderConjugate.conjExponent

Modification history