Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.derivative_nat_cast

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.derivative_nat_cast View on Github →