Commit 2025-05-13 17:38 bce1d651

View on Github →

feat: x ∉ span R s if insert x s is linearly independent (#24852) This is a simple corollary of existing results, but it is quite difficult to inline. From Toric

Estimated changes