Theorem Submodule.finiteDimensional_of_le

Modification history