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