isQuotientModule

isQuotientModule M -- tells whether M is provided as a quotient module of a free module.

Go to main index.

Go to concepts index.