spire.laws
Contains laws that are obeying by combination of types, for example various kinds of signed rings.
Contains laws that are obeying by combination of types, for example various kinds of signed rings.