Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-12 19:28 8a2a6304

View on Github →

feat(analysis/convex/basic): add lemma add_smul regarding linear combinations of convex sets (#8608) From #2819

Estimated changes

added theorem convex.add_smul