Theorem Module.finite_of_finrank_eq_succ

Modification history