isSurjective
isSurjective f
-- tells whether the map f of modules is surjective
See also
isInjective
.
Go to
main index
.
Go to
concepts index
.