Theorem FiniteDimensional.finiteDimensional_of_finrank

Modification history