Theorem FiniteDimensional.finrank_le_of_rank_le

Modification history