Theorem exists_linearIndepOn_of_lt_rank

Modification history