Def AlgHom.prodEquiv

Modification history

2024-05-11 02:49
Mathlib/Algebra/Algebra/Prod.lean
docs: fix some docs (#12760)
Modified AlgHom.prodEquivView on Github →
2023-02-21 10:05
Mathlib/Algebra/Algebra/Prod.lean
feat: port Algebra.Algebra.Prod (#2383)
Added AlgHom.prodEquivView on Github →