(map,Module)
map M
-- construct the identity map from M to itself.
This can also be accomplished with
id_M
or
map(M,1)
.
See also
map
and
id
.
