Theorem Module.finite_of_finrank_pos

Modification history