Theorem exists_linearIndependent_pair_of_one_lt_rank

Modification history