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