Module Elements <#Include Label="ModuleElements:intro">
Module Elements: Category and Representations <#Include Label="IsHomalgModuleElement"> <#Include Label="IsElementOfAModuleGivenByAMorphismRep">
Module Elements: Constructors
Module Elements: Properties <#Include Label="IsElementOfIntegers">
Module Elements: Attributes
Module Elements: Operations and Functions <#Include Label="HomalgRing:module_element">