isSurjective
isSurjective f
-- tells whether the map f of modules is surjective
See also
isInjective
.
