The modules M and N should be subquotient modules of the same free module
See also map and isWellDefined.
Go to main index.
Go to concepts index.