Theorem AlgHom.addHomMk_coe

Modification history

2025-05-25 19:24
Mathlib/Algebra/Algebra/Hom.lean
feat(AlgHom): improve simp normal form (#25177) …
Added AlgHom.addHomMk_coeView on Github →