Mathlib v3 is deprecated. Go to Mathlib v4

Def proper_cone.dual

Modification history

2023-06-09 01:23

src/analysis/convex/cone/proper.lean

feat(analysis/convex/cone/proper): define proper cone (#18913) …

Added proper_cone.dual View on Github →