Theorem Real.HolderConjugate.conjExponent

Modification history