Def CentroidHom.toEndRingHom

Modification history

2023-12-04 18:10
Mathlib/Algebra/Ring/CentroidHom.lean
feat(Algebra/Ring/CentroidHom): missing scalar instances (#8742) …
Added CentroidHom.toEndRingHomView on Github →