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:
Ways to use super :
![[top]](top.gif)
![[index]](index.gif)