Ring Relations
Ring Relations: Categories and Representations
<#Include Label="IsHomalgRingRelations"> <#Include Label="IsHomalgRingRelationsAsGeneratorsOfLeftIdeal"> <#Include Label="IsHomalgRingRelationsAsGeneratorsOfRightIdeal">

<#Include Label="IsRingRelationsRep">

Ring Relations: Constructors
Ring Relations: Properties
<#Include Label="CanBeUsedToDecideZero"> <#Include Label="IsInjectivePresentation">

Ring Relations: Attributes
Ring Relations: Operations and Functions