Theorem Polynomial.taylorEquiv_symm

Modification history

2025-05-29 12:59
Mathlib/Algebra/Polynomial/Taylor.lean
feat(Algebra): add taylorEquiv (#25294)
Added Polynomial.taylorEquiv_symmView on Github →