Theorem Set.iInter₂_sdiv_subset

Modification history

2026-09-07 15:38
Mathlib/Algebra/Group/Pointwise/Set/Lattice.lean
feat(Algebra/Group/Pointwise): `sdiv` lemmas (#43541) …
Added Set.iInter₂_sdiv_subsetView on Github →