mathlib3

1d1f3841 - feat(analysis/calculus/dslope): define dslope (#11432)