Theorem AlgHom.pi_evalAlgHom

Modification history

2026-06-19 13:16
Mathlib/Algebra/Algebra/Pi.lean
chore: rename Pi.algHom to AlgHom.pi (#40044)
Added AlgHom.pi_evalAlgHomView on Github →