Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.hasse_deriv_one'

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_one'View on Github →