mathlib3

feat(analysis/calculus/mean_value): add generalized "fencing" inequality

#1838

Merged