Theorem FiniteDimensional.of_fact_finrank_eq_succ

Modification history