Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-23 01:10 827fcd06

View on Github →

feat(analysis/convex/basic): add lemmas about convex combination of endpoints of intervals (#3482)

Estimated changes

added theorem convex.combo_self
added theorem convex.mem_Icc
added theorem convex.mem_Ico
added theorem convex.mem_Ioc
added theorem convex.mem_Ioo