Theorem AlgHom.pi_comp

Modification history

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