Theorem MonoidHom.coe_prod

Modification history

2026-05-10 01:42

Mathlib/Algebra/Group/Prod.lean

fix: rename `Pi.prod` to `Function.prod` (#38963) …

Modified MonoidHom.coe_prod View on Github →

2022-12-13 13:20

Mathlib/Algebra/Group/Prod.lean

feat: port Algebra.Group.Prod (#968) …

Added MonoidHom.coe_prod View on Github →