Theorem FiniteDimensional.lt_rank_of_lt_finrank

Modification history