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
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