Theorem exists_linearIndependent_cons_of_lt_finrank

Modification history