Commit 2025-06-12 10:35 d041e192
View on Github →refactor: redefine ProperCone
as an abbrev
for ClosedSubmodule
(#25204)
... and derive the ProperCone
operations from ClosedSubmodule
too. Also rename the scalar ring from 𝕜
to R
.
From Toric