spire.algebra.RingLaws
Assembles all properties.
Assembles all properties. For the rules, see SpireProperties.