chore(Algebra/Algebra/Hom): explain why AlgHomClass.commutes
is not @[simp]
#61793
Loading
AlgHomClass.commutes
is not @[simp]
#61793