Theorem FiniteDimensional.span_of_finite

Modification history