Theorem FiniteDimensional.finrank_of_not_finite

Modification history