Theorem MonoidHom.ker_prod

Modification history

2023-10-12 03:09
Mathlib/GroupTheory/Subgroup/Basic.lean
feat: small missing group lemmas (#7614)
Added MonoidHom.ker_prodView on Github →