isInjective
isInjective f
-- tells whether the ring map or module map f is injective.
See also
isSurjective
.
