Commit 2021-09-02 08:19 8da6699f
View on Github →chore(analysis/convex/basic): generalize concave_on.le_on_segment to monoids (#8959)
This matches the generalization already present on convex_on.le_on_segment.
chore(analysis/convex/basic): generalize concave_on.le_on_segment to monoids (#8959)
This matches the generalization already present on convex_on.le_on_segment.