Commit 2023-08-18 18:30 338bb3fb

View on Github →

feat(GroupTheory/Subgroup/Basic): ker_{fst,snd} (#6639)

Estimated changes

added theorem MonoidHom.ker_fst
added theorem MonoidHom.ker_snd
added theorem MonoidHom.mker_fst
added theorem MonoidHom.mker_snd