Theorem MvPolynomial.pderiv_map

Modification history

2024-06-26 12:03
Mathlib/Algebra/MvPolynomial/PDeriv.lean
feat(EllipticCurve): lemmas in Jacobian coordinates (#13846) …
Added MvPolynomial.pderiv_mapView on Github →