Commit 2025-02-14 11:25 1f8a5740
View on Github →feat(LinearIndependent): LinearIndepOn predicate (#21799) Added a predicate stating that the vectors in a family indexed by a set are linearly independent. As per discussion on zulip
feat(LinearIndependent): LinearIndepOn predicate (#21799) Added a predicate stating that the vectors in a family indexed by a set are linearly independent. As per discussion on zulip