Closed brocksam closed 5 years ago
Fixed bug in numbafication of substitutions that caused the generation of the substitution tree out of order.
Fixed bug in numbafication of substitutions that caused the generation of the substitution tree out of order.