Theorem FiniteDimensional.one_lt_rank_of_one_lt_finrank

Modification history