Theorem FiniteDimensional.rank_lt_aleph0

Modification history