Commit 2025-03-07 15:46 c2296497
View on Github →chore(Analysis/Normed/Group/IndicatorFunction): generalise to enorm (#22690)
and generalise enorm_{zero,one} to any ENormed{Add}Monoid. Cherry-picked from #21712.
Done as part of the Carleson project.