Theorem Polynomial.Bivariate.Polynomial.Bivariate.pderiv_one_equivMvPolynomial

Modification history

2025-11-27 13:47
Mathlib/Algebra/Polynomial/Bivariate.lean
feat(RingTheory): `IsStandardEtale` (#32138)
Deleted Polynomial.Bivariate.Polynomial.Bivariate.pderiv_one_equivMvPolynomialView on Github →
2025-11-20 14:55
Mathlib/Algebra/Polynomial/Bivariate.lean
feat(RingTheory/Etale): standard etale maps (#30867)
Added Polynomial.Bivariate.Polynomial.Bivariate.pderiv_one_equivMvPolynomialView on Github →