PartialActionLaws

laws

PartialGroupLaws

laws

Perm

laws

PredicateFromMonoid

laws

parent

AdditiveProperties MultiplicativeProperties AdditiveProperties MultiplicativeProperties

parents

ActionProperties LatticeProperties LatticePartialOrderProperties ActionProperties RingProperties SpaceProperties

partialOrder

OrderLaws

perm

arb gen

polynomial

arb gen

pred

RingLaws

propertiesToProp

laws

props

ActionProperties AdditiveProperties MultiplicativeProperties AdditiveProperties LatticeProperties LatticePartialOrderProperties ActionProperties MultiplicativeProperties RingProperties SpaceProperties