Theorem exists_linearIndependent_pair_of_one_lt_finrank

Modification history