SignArbitrary

SpireArbitrary

SimpleProperties

Laws

SpaceProperties

VectorSpaceLaws

SpireArbitrary

laws

SpireProperties

Laws

scalar

VectorSpaceLaws

scalarLaws

VectorSpaceLaws

semigroup

GroupLaws

semiring

RingLaws

signed

BaseLaws

sl

SpaceProperties

spire

root

spireProps2Props

Laws