PredicateFromMonoid

laws

parent

AdditiveProperties MultiplicativeProperties

parents

RingProperties SpaceProperties

pred

RingLaws

props

AdditiveProperties MultiplicativeProperties RingProperties SpaceProperties