Theorem le_rank_iff_exists_linearIndependent

Modification history