Commit 2025-03-27 13:33 5573a364
View on Github →refactor: merge API for ENNReal.HolderConjugate and {E}{NN}Real.IsConjExponent (#22944)
This PR adds {NN}Real.HolderTriple and refactors {NN}Real.IsConjExponent to be defined in term of those, while renaming the latter to {NN}Real.HolderConjugate to match the existing ENNReal.HolderConjugate (we also deprecate ENNReal.IsConjExponent to ENNReal.HolderConjugate because these are duplicates).
In a future PR, we will merge the contents of Data.ENNReal.Holder and this file. For now, we import the former into the latter.