mathlib
7dcba96e - feat(order/monotone): Folds of monotone functions are monotone (#12581)

Commit

4 years ago

feat(order/monotone): Folds of monotone functions are monotone (#12581)

Author

vihdzp

vihdzp

Parents

Loading