Theorem Polynomial.coe_taylorEquiv

Modification history

2025-06-18 15:55

Mathlib/Algebra/Polynomial/Taylor.lean

feat(RingTheory): basis for Polynomial.degreeLT (#26091) …

Modified Polynomial.coe_taylorEquiv View on Github →

2025-05-29 12:59

Mathlib/Algebra/Polynomial/Taylor.lean

feat(Algebra): add taylorEquiv (#25294)

Added Polynomial.coe_taylorEquiv View on Github →