Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nnnorm_indicator_eq_indicator_nnnorm

Modification history

2020-07-31 17:41
src/analysis/normed_space/indicator_function.lean
chore(*): assorted small lemmas (#3644)
Added nnnorm_indicator_eq_indicator_nnnormView on Github →