Commit 2025-07-19 16:12 6d2458e9

View on Github →

feat: CanLift instance from ConvexCone to ProperCone (#26150) For this, move ConvexCone.pointed_of_nonempty_of_mem earlier and rename it to ConvexCone.Pointed.of_nonempty_of_mem. From Toric

Estimated changes