Theorem exists_linearIndependent_cons_of_lt_rank

Modification history