Theorem Monotone.convex_lt

Modification history

2026-08-13 05:23

Mathlib/Analysis/Convex/Basic.lean

fix(Analysis/Convex/Basic): Monotone.convex_lt/convex_gt state the wrong set (#42579) …

Modified Monotone.convex_lt View on Github →

2023-03-28 11:05

Mathlib/Analysis/Convex/Basic.lean

feat: port Analysis.Convex.Basic (#3061)

Added Monotone.convex_lt View on Github →