name

ActionProperties AdditiveProperties MultiplicativeProperties AdditiveProperties LatticeProperties LatticePartialOrderProperties ActionProperties MultiplicativeProperties RingProperties SpaceProperties

natural

arb gen

negate

ShadowAdditiveAbGroup

neqv

ShadowEq ShadowOrder ShadowPartialOrder

nonZero

RingProperties

nonZeroLaws

RingLaws

normedVectorSpace

VectorSpaceLaws

number

arb gen