Def PointedCone.dual

Modification history

2025-07-06 12:48

Mathlib/Analysis/Convex/Cone/InnerDual.lean

refactor(Convex/Cone): streamline duality (#24149) …

Modified PointedCone.dual View on Github →

2025-06-11 00:07

Mathlib/Analysis/Convex/Cone/InnerDual.lean

chore: move pointed cones, proper cones (#25251) …

Modified PointedCone.dual View on Github →

2023-09-29 03:32

Mathlib/Analysis/Convex/Cone/Pointed.lean

feat(Analysis): define pointed cones (#6437) …

Added PointedCone.dual View on Github →