Theorem FiniteDimensional.finrank_eq_rank'

Modification history