Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.iterate_derivative_nat_cast_mul

Modification history

2022-08-11 18:43

src/data/polynomial/derivative.lean

chore(data/polynomial/derivative): use 'nat_cast' rather than 'cast_nat' for consistency (#16005)

Added polynomial.iterate_derivative_nat_cast_mul View on Github →