isWellDefined
isWellDefined m
-- tells whether a map m of modules is well-defined.
Go to
main index
.
Go to
concepts index
.