Theorem Polynomial.coe_sub

Modification history

2024-11-22 18:05

Mathlib/RingTheory/PowerSeries/Basic.lean

feat(RingTheory/PowerSeries/Basic): `Polynomial.coe_sub` and `Polynomial.coe_neg` (#19339) …

Added Polynomial.coe_sub View on Github →