Generators
<#Include Label="Generators:intro">

Generators: Categories and Representations
<#Include Label="IsHomalgGenerators"> <#Include Label="IsHomalgGeneratorsOfLeftModule"> <#Include Label="IsHomalgGeneratorsOfRightModule">

<#Include Label="IsGeneratorsOfFinitelyGeneratedModuleRep">

Generators: Constructors
Generators: Properties
<#Include Label="IsReduced">

Generators: Attributes
<#Include Label="ProcedureToReadjustGenerators">

Generators: Operations and Functions