Theorem FiniteDimensional.finrank_of_infinite_dimensional

Modification history