∫ Утверждение Mathlib
toNNReal_iff
Mathlib.Data.Real.ConjExponents
URI: https://scilib.ai/kg/mathlib#ENNReal.HolderConjugate.toNNReal_iff
∫ Утверждение Mathlib
Mathlib.Data.Real.ConjExponents
URI: https://scilib.ai/kg/mathlib#ENNReal.HolderConjugate.toNNReal_iff