Theorem Subgroup.closure_diff_one

Modification history

2026-06-09 08:51
Mathlib/Algebra/Group/Subgroup/Lattice.lean
chore: rename `diff` to `sdiff` (#40184) …
Deleted Subgroup.closure_diff_oneView on Github →
2025-06-18 17:15
Mathlib/Algebra/Group/Subgroup/Lattice.lean
feat(Algebra/Group/Subgroup/Lattice): Add `closure_union_one` and `closure_diff_one` (#26063) …
Added Subgroup.closure_diff_oneView on Github →