super
super M
-- yields the module which the module M is a submodule of.
super f
-- if f is a map whose target is a submodule of M, yields the composite of f with the inclusion into M.
See also
cover
and
ambient
.
