Def Subgroup.squareIn

Modification history

2025-01-06 17:01
Mathlib/Algebra/Group/Subgroup/Even.lean
chore(Algebra): make more names consistent (#20449) …
Deleted Subgroup.squareInView on Github →
2025-01-03 07:21
Mathlib/Algebra/Group/Subgroup/Even.lean
feat(Algebra/Group/Even): "Advanced" lemmas about even elements. (#20272) …
Added Subgroup.squareInView on Github →