Theorem Module.finite_of_finite

Modification history