Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.hasse_deriv_monomial

Modification history

2021-09-08 17:50

src/data/polynomial/hasse_deriv.lean

feat(data/polynomial/hasse_deriv): Hasse derivatives (#8998)

Added polynomial.hasse_deriv_monomial View on Github →