Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bernstein_approximation.δ_pos

Modification history

2022-06-03 16:16
src/analysis/special_functions/bernstein.lean
refactor(algebra/order/ring): turn `sq_le_sq` into an `iff` (#14511) …
Added bernstein_approximation.δ_posView on Github →