SpaceProperties
VectorSpaceLaws
safeLong
arb
gen
scalar
VectorSpaceLaws
scalarLaws
ActionLaws
PartialActionLaws
VectorSpaceLaws
semigroup
GroupLaws
semigroupAction
ActionLaws
semigroupPartialAction
PartialActionLaws
semigroupoid
PartialGroupLaws
semigroupoidPartialAction
PartialActionLaws
semiring
RingLaws
sign
arb
gen
signed
BaseLaws
sl
ActionProperties
ActionProperties
SpaceProperties
sp
spire
spire
root