Commit 2025-06-11 00:07 9c94d13c
View on Github →chore: move pointed cones, proper cones (#25251)
Pointed cones too are a kind of algebraic cone. They therefore move to the new Geometry.Convex.Cone folder.
In turn, this makes proper cones the primitive kind of topological/analytic cones, and therefore Analysis.Convex.Cone.Proper gets renamed to Analysis.Convex.Cone.Basic.
The two sections about dual pointed cones and dual proper cones move to the existing Analysis.Convex.Cone.InnerDual.
The READMEs about Geometry.Convex.Cone and Analysis.Convex.Cone get updated to reflect that the separation is non-topology vs topology, rather topology vs analysis.
From Toric