Theorem FiniteDimensional.cardinal_mk_le_finrank_of_linearIndependent

Modification history