isQuotientModule

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