isSubmodule

isSubmodule M -- tells whether M is provided as a submodule of a free module.

Go to main index.

Go to concepts index.