Theorem FiniteDimensional.of_fintype_basis

Modification history