Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.factorial_smul_hasse_deriv

Modification history

2021-09-08 17:50
src/data/polynomial/hasse_deriv.lean
feat(data/polynomial/hasse_deriv): Hasse derivatives (#8998)
Added polynomial.factorial_smul_hasse_derivView on Github →