Theorem MvPolynomial.pderiv_rename

Modification history

2024-10-07 20:10

Mathlib/Algebra/MvPolynomial/PDeriv.lean

chore(*): drop some `[Decidable*]` assumptions (#17396) …

Modified MvPolynomial.pderiv_rename View on Github →

2024-10-01 17:04

Mathlib/Algebra/MvPolynomial/PDeriv.lean

feat(RingTheory/StandardSmooth): composition and localization (#16827) …

Added MvPolynomial.pderiv_rename View on Github →