Commit 2025-08-21 11:59 3c157e79
View on Github →refactor: make the cone explicit in ConvexCone.toPointedCone
(#28139)
Otherwise it is impossible to know which cone we are talking about from the infoview as proofs are elided.
From Toric
refactor: make the cone explicit in ConvexCone.toPointedCone
(#28139)
Otherwise it is impossible to know which cone we are talking about from the infoview as proofs are elided.
From Toric