Theorem Polynomial.Bivariate.pderiv_zero_equivMvPolynomial

Modification history

2025-11-27 13:47
Mathlib/Algebra/Polynomial/Bivariate.lean
feat(RingTheory): `IsStandardEtale` (#32138)
Added Polynomial.Bivariate.pderiv_zero_equivMvPolynomialView on Github →