Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bernstein_polynomial.iterate_derivative_at_0_aux₂

Modification history