Commit 2025-10-11 05:45 c4b0fc93

View on Github →

feat: a PointedCone-valued version of Submodule.span (#28140) This is merely to guide typing. From Toric

Estimated changes