Theorem FiniteDimensional.finrank_le_finrank_of_rank_le_rank

Modification history