Def ConvexCone.Pointed

Modification history

2025-06-19 10:04

Mathlib/Geometry/Convex/Cone/Basic.lean

chore(Geometry/Convex/Cone): clean up (#25291) …

Modified ConvexCone.Pointed View on Github →

2025-05-29 03:47

Mathlib/Geometry/Convex/Cone/Basic.lean

chore(Geometry/Convex/Cone/Basic): rename variables (#25252) …

Modified ConvexCone.Pointed View on Github →

2023-05-23 07:30

Mathlib/Analysis/Convex/Cone/Basic.lean

feat: port Analysis.Convex.Cone.Basic (#4152)

Added ConvexCone.Pointed View on Github →