Theorem Pi.algHom_apply

Modification history

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