mathlib3

ea177c2a - feat(analysis/convex): add correspondence between convex cones and ordered semimodules (#3931)

feat(analysis/convex): add correspondence between convex cones and ordered semimodules (#3931) This shows that a convex cone defines an ordered semimodule and vice-versa. Co-authored-by: Frédéric Dupuis <31101893+dupuisf@users.noreply.github.com>