mathlib3
d4cb2372 - feat(algebra/module): define ordered semimodules and generalize convexity of functions (#3728)

Commit

5 years ago

feat(algebra/module): define ordered semimodules and generalize convexity of functions (#3728) Co-authored-by: Frédéric Dupuis <31101893+dupuisf@users.noreply.github.com>

References

#4925 - Make prime-avoidance branch build

Author

dupuisf

Parents

bc72d903

mathlib3 d4cb2372 - feat(algebra/module): define ordered semimodules and generalize convexity of functions (#3728)

mathlib3
d4cb2372 - feat(algebra/module): define ordered semimodules and generalize convexity of functions (#3728)