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