Closed jamesdabbs closed 3 years ago
Adds Traits and Theorems stores, to handle indexing as needed in the domain, and adds a Theorem class to handle e.g. name definition.
Traits
Theorems
Theorem
name
Adds
TraitsandTheoremsstores, to handle indexing as needed in the domain, and adds aTheoremclass to handle e.g.namedefinition.