mathlib3
feat(algebra/order_functions): generalize strict_mono.monotone
#1022
Merged
Merged