Theorem Polynomial.map_taylorEquiv_degreeLT

Modification history

2025-12-27 09:40
Mathlib/RingTheory/Polynomial/DegreeLT.lean
chore(*): restrict operations to `LinearMap`s (#33241) …
Modified Polynomial.map_taylorEquiv_degreeLTView on Github →
2025-06-18 15:55
Mathlib/RingTheory/Polynomial/DegreeLT.lean
feat(RingTheory): basis for Polynomial.degreeLT (#26091) …
Added Polynomial.map_taylorEquiv_degreeLTView on Github →