Theorem Polynomial.coe_neg

Modification history

2025-07-11 09:29
Mathlib/RingTheory/PowerSeries/Basic.lean
chore: a batch of whitespace fixes (#26964) …
Modified Polynomial.coe_negView on Github →
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_negView on Github →