Theorem ENNReal.HolderConjugate.eq_top_iff_eq_one

Modification history

2025-02-14 03:53
Mathlib/Data/ENNReal/Holder.lean
feat: Hölder triples / conjugates as a type class (#21854) …
Added ENNReal.HolderConjugate.eq_top_iff_eq_oneView on Github →