Theorem FiniteDimensional.fact_finiteDimensional_of_finrank_eq_succ

Modification history