Mathlib Changelog
v4
Changelog
About
Github
Theorem
Monoid.CoprodI.induction_left
Modification history
2025-03-29 00:17
Mathlib/GroupTheory/CoprodI.lean
chore: review of induction branch names (#23358) …
Modified
Monoid.CoprodI.induction_left
View on Github →
2024-04-24 13:42
Mathlib/GroupTheory/CoprodI.lean
feat(GroupTheory): add lemmas about `Submonoid.closure` and `CoprodI` (#12391) …
Added
Monoid.CoprodI.induction_left
View on Github →