Theorem FiniteDimensional.finrank_eq_of_rank_eq

Modification history