Mathlib Changelog
v4
Changelog
About
Github
Theorem
MonoidHom.mclosure_range
Modification history
2024-04-24 13:42
Mathlib/GroupTheory/Submonoid/Operations.lean
feat(GroupTheory): add lemmas about `Submonoid.closure` and `CoprodI` (#12391) …
Added
MonoidHom.mclosure_range
View on Github →