Theorem AlgEquiv.toAlgHom_toRingHom

Modification history

2023-12-05 18:54
Mathlib/Algebra/Algebra/Equiv.lean
feat: Add API for `AlgEquiv`. (#8639)
Added AlgEquiv.toAlgHom_toRingHomView on Github →