Theorem finiteDimensional_vectorSpan_of_finite

Modification history