BaseLaws
laws
BoundArbitrary
SpireArbitrary
base
AdditiveProperties MultiplicativeProperties
bases
AdditiveProperties MultiplicativeProperties RingProperties SpaceProperties