Theorem NonUnitalAlgHom.coe_prod

Modification history

2026-05-10 01:42
Mathlib/Algebra/Algebra/NonUnitalHom.lean
fix: rename `Pi.prod` to `Function.prod` (#38963) …
Modified NonUnitalAlgHom.coe_prodView on Github →
2023-02-28 15:58
Mathlib/Algebra/Hom/NonUnitalAlg.lean
feat: port Algebra.Hom.NonUnitalAlg (#2414)
Added NonUnitalAlgHom.coe_prodView on Github →