Theorem FiniteDimensional.eq_of_le_of_finrank_le

Modification history