mathlib3
decd67c4 - feat(analysis/convex): slope_mono_adjacent (#4307)

Commit

5 years ago

feat(analysis/convex): slope_mono_adjacent (#4307) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>

References

Author

MaloJaffre

Parents