Theorem Set.mabs_mulIndicator_symmDiff

Modification history

2024-05-27 12:42
Mathlib/Algebra/Order/Group/Indicator.lean
chore: Split `Algebra.Function.Support`/`Algebra.Function.Indicator` (#13244) …
Added Set.mabs_mulIndicator_symmDiffView on Github →