Theorem FiniteDimensional.finrank_eq_rank

Modification history