chore: add simp lemma to unfold Algebra.algHom#36346

kckennylau wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

kckennylau:simp-algebra-alghomkckennylau/mathlib4:simp-algebra-alghomCopy head branch name to clipboard