Theorem AlgHom.coe_prod

Modification history

2026-05-10 01:42
Mathlib/Algebra/Algebra/Prod.lean
fix: rename `Pi.prod` to `Function.prod` (#38963) …
Modified AlgHom.coe_prodView on Github →
2023-02-21 10:05
Mathlib/Algebra/Algebra/Prod.lean
feat: port Algebra.Algebra.Prod (#2383)
Added AlgHom.coe_prodView on Github →