Theorem Submodule.complete_of_finiteDimensional

Modification history