Mathlib v3 is deprecated. Go to Mathlib v4

Theorem exists_ratio_deriv_eq_ratio_slope'

Modification history

2020-08-06 16:42
src/analysis/calculus/mean_value.lean
feat(analysis/calculus): Rolle's and Cauchy's mean value theorems with weaker assumptions (deps : 3590) (#3681) …
Added exists_ratio_deriv_eq_ratio_slope'View on Github →