Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.mul_indicator_image

Modification history

2022-02-24 12:56
src/algebra/indicator_function.lean
feat(measure_theory/group/prod): generalize topological groups to measurable groups (#11933) …
Added set.mul_indicator_imageView on Github →