Def mulMonoidWithZeroHom

Modification history

2024-05-21 09:04
Mathlib/Algebra/Group/Prod.lean
chore: Split `Algebra.Group.Prod` (#12974) …
Modified mulMonoidWithZeroHomView on Github →
2022-12-13 13:20
Mathlib/Algebra/Group/Prod.lean
feat: port Algebra.Group.Prod (#968) …
Added mulMonoidWithZeroHomView on Github →