Theorem FiniteDimensional.lt_aleph0_of_linearIndependent

Modification history