Theorem Pi.algHom_comp

Modification history

2025-01-31 09:06
Mathlib/Algebra/Algebra/Pi.lean
refactor(Algebra/Algebra/Pi): cleanup and renaming (#21213) …
Modified Pi.algHom_compView on Github →
2025-01-28 07:05
Mathlib/Algebra/Algebra/Pi.lean
feat(Algebra/Polynomial): `Polynomial.aeval` for product algebras (#21062) …
Added Pi.algHom_compView on Github →