Theorem Submonoid.squareIn_toSubsemigroup

Modification history

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