Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-18 18:30
338bb3fb
View on Github →
feat(GroupTheory/Subgroup/Basic): ker_{fst,snd} (
#6639
)
Estimated changes
Modified
Mathlib/GroupTheory/Subgroup/Basic.lean
added
theorem
MonoidHom.ker_fst
added
theorem
MonoidHom.ker_snd
Modified
Mathlib/GroupTheory/Submonoid/Operations.lean
added
theorem
MonoidHom.mker_fst
added
theorem
MonoidHom.mker_snd