Mathlib v3 is deprecated. Go to Mathlib v4

Theorem star_convex.add_smul_mem

Modification history

2021-12-03 10:55

src/analysis/convex/star.lean

feat(analysis/convex/star): Star-convex sets (#10524) …

Added star_convex.add_smul_mem View on Github →