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

Estimated changes