Mathlib Changelog
v4
Changelog
About
Github
Theorem
MonoidHom.ker_toSubmonoid
Modification history
2025-04-30 10:47
Mathlib/Algebra/Group/Subgroup/Ker.lean
feat(QuotientGroup): surjectivity and kernel of `QuotientGroup.map` (#23205) …
Added
MonoidHom.ker_toSubmonoid
View on Github →