PredicateFromMonoid
laws
parent
BaseRuleSet
MultiplicativeProperties
parents
AdditiveProperties
GroupProperties
LatticeProperties
LatticePartialOrderProperties
LogicProperties
RingProperties
partialOrder
OrderLaws
pred
RingLaws
props
BaseRuleSet
AdditiveProperties
GroupProperties
LatticeProperties
LatticePartialOrderProperties
LogicProperties
MultiplicativeProperties
RingProperties
proved
laws