inducesWellDefinedMap
inducesWellDefinedMap(M,N,f)
-- tells whether the matrix
f
would induce a well defined map from
N
to
M
.
See also
inducedMap
.