Theorem Filter.sdiv_eq_bot_iff

Modification history

2026-09-07 15:38
Mathlib/Order/Filter/Pointwise.lean
feat(Algebra/Group/Pointwise): `sdiv` lemmas (#43541) …
Added Filter.sdiv_eq_bot_iffView on Github →