Mathlib v3 is deprecated. Go to Mathlib v4

Theorem strict_convex.is_linear_preimage

Modification history

2021-12-13 09:36

src/analysis/convex/strict.lean

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

Added strict_convex.is_linear_preimage View on Github →