Def AlgHom.prod

Modification history

2023-02-21 10:05
Mathlib/Algebra/Algebra/Prod.lean
feat: port Algebra.Algebra.Prod (#2383)
Added AlgHom.prodView on Github →