Theorem AlgHom.eq_piEvalAlgHom

Modification history

2025-04-15 08:18
Mathlib/LinearAlgebra/StdBasis.lean
chore: move and rename `eval_of_algHom` (#23952) …
Added AlgHom.eq_piEvalAlgHomView on Github →