Mathlib v3 is deprecated. Go to Mathlib v4

Def strict_convex

Modification history

2021-12-13 09:36

src/analysis/convex/strict.lean

feat(analysis/convex/strict): Strictly convex sets (#10648) …

Added strict_convex View on Github →