Theorem exists_linearIndependent_snoc_of_lt_finrank

Modification history