Theorem PointedCone.dual_anti

Modification history

2026-03-21 06:41

Mathlib/Geometry/Convex/Cone/Dual.lean

feat(Geometry/Convex/Cone): lemmas for PointedCone.dual (#35323) …

Added PointedCone.dual_anti View on Github →