[top][index]
search for:
isSubmodule -- whether a module is evidently a submodule of a free module

Class of returned value: Boolean -- the class of Boolean valuesWays to use isSubmodule :

  • isSubmodule Module -- whether a module is evidently a submodule of a free module
  • isSubmodule Thing

    • [top][index]
    search for: