Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-11 18:43 acae0c33

View on Github →

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

Estimated changes

Modified src/data/polynomial/derivative.lean

deleted theorem polynomial.derivative_cast_nat

added theorem polynomial.derivative_nat_cast

deleted theorem polynomial.iterate_derivative_cast_nat_mul

added theorem polynomial.iterate_derivative_nat_cast_mul

Modified src/ring_theory/polynomial/bernstein.lean