Theorem FiniteDimensional.of_fact_finrank_eq_two

Modification history