name

ActionProperties AdditiveProperties MultiplicativeProperties AdditiveProperties LatticeProperties LatticePartialOrderProperties ActionProperties MultiplicativeProperties RingProperties SpaceProperties

natural

arb gen

nonZero

RingProperties

nonZeroLaws

RingLaws

normedVectorSpace

VectorSpaceLaws

number

arb gen