Predicate

laws

PredicateFromMonoid

Predicate

parent

AdditiveProperties DefaultProperties HasOneParent MultiplicativeProperties

parents

HasOneParent SpireProperties RingProperties SpaceProperties

pred

RingLaws

props

AdditiveProperties DefaultProperties SpireProperties MultiplicativeProperties RingProperties SpaceProperties