PredicateFromMonoid

laws

parent

BaseRuleSet LogicProperties MultiplicativeProperties

parents

AdditiveProperties GroupProperties LatticeProperties LatticePartialOrderProperties RingProperties

partialOrder

OrderLaws

pred

RingLaws

props

BaseRuleSet AdditiveProperties GroupProperties LatticeProperties LatticePartialOrderProperties LogicProperties MultiplicativeProperties RingProperties

proved

laws