Def AlgHom.pi

Modification history

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