Theorem Set.mulIndicator_mono

Modification history

2024-10-07 17:59
Mathlib/Algebra/Order/Group/Indicator.lean
feat: supremum of directed indicators (#17467) …
Added Set.mulIndicator_monoView on Github →