RingLaws
laws
RingProperties
RingLaws
rational
arb
gen
real
arb
gen
rig
RingLaws
rightMonoidAction
ActionLaws
rightMonoidPartialAction
PartialActionLaws
rightSemigroupAction
ActionLaws
rightSemigroupPartialAction
PartialActionLaws
rightSemigroupoidPartialAction
PartialActionLaws
ring
RingLaws
rng
RingLaws