basic): add lemma add_smul regarding linear combinations of convex sets (#8608)

Commit

4 years ago

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

Author

alexjbest

Parents