Theorem Polynomial.toAlgHom_taylorEquiv

Modification history

2025-06-18 15:55
Mathlib/Algebra/Polynomial/Taylor.lean
feat(RingTheory): basis for Polynomial.degreeLT (#26091) …
Added Polynomial.toAlgHom_taylorEquivView on Github →