Modules
Generating modules
<#Include Label="IsLeftOperatorAdditiveGroup"> <#Include Label="IsLeftModule"> <#Include Label="GeneratorsOfLeftOperatorAdditiveGroup"> <#Include Label="GeneratorsOfLeftModule"> <#Include Label="AsLeftModule"> <#Include Label="IsRightOperatorAdditiveGroup"> <#Include Label="IsRightModule"> <#Include Label="GeneratorsOfRightOperatorAdditiveGroup"> <#Include Label="GeneratorsOfRightModule"> <#Include Label="LeftModuleByGenerators"> <#Include Label="LeftActingDomain">

Submodules
<#Include Label="Submodule"> <#Include Label="SubmoduleNC"> <#Include Label="ClosureLeftModule"> <#Include Label="TrivialSubmodule">

Free Modules
<#Include Label="IsFreeLeftModule"> <#Include Label="FreeLeftModule"> <#Include Label="Dimension"> <#Include Label="IsFiniteDimensional"> <#Include Label="UseBasis"> <#Include Label="IsRowModule"> <#Include Label="IsMatrixModule"> <#Include Label="IsFullRowModule"> <#Include Label="FullRowModule"> <#Include Label="IsFullMatrixModule"> <#Include Label="FullMatrixModule">