Theorem FiniteDimensional.of_finite_basis

Modification history