End
End M
-- constructs the module of endomorphisms of M.
