Commit 2026-08-13 05:23 8fecc3d4
View on Github →fix(Analysis/Convex/Basic): Monotone.convex_lt/convex_gt state the wrong set (#42579)
Monotone.convex_lt and Monotone.convex_gt are copy-paste duplicates of Monotone.convex_le, all three asserting {x | f x ≤ r}.
Found this with Aristotle