Theorem LinearMap.le_rank_iff_exists_linearIndependent_finset

Modification history