Equ

BaseLaws GroupLaws RingLaws

emptyProperties

Laws

euclideanRing

RingLaws