Theorem iSupIndep_range_lsingle

Modification history

2025-12-19 08:36
Mathlib/LinearAlgebra/LinearIndependent/Lemmas.lean
feat(LinearAlgebra): more on StrongRankCondition (#32194) …
Added iSupIndep_range_lsingleView on Github →