Don't redefine theorems.
sdf
Simplifier prime number calculations. Prime numbers calculated up to 23 (was 13 before this). Spell transitive correctly.
Add theorems that have freeness constraints to be included as suggestions in the suggestion box since we now have the ability to only suggest theorems that do not violate the freeness constraints.
Fixed a few minor issues with the tutorial.
Define > and >= and stop using not <= and not < everywhere. Fix problems with evaluating set functions now that they are displayed differently.
Minor fixes to addass. Adds a few theorems about the Fibonacci sequence.
Expand the directions for local push.
Adds titles for most of the prop.gh theorems. Adds summaries to a few. Deletes commented out duplicate theorems.
Redefined ordered pairs so that there is a one-to-one correspondence between a pair of numbers and a single number. This was implemented using triangular numbers. This allows us to prove opexpand which simplifies a lot of things. This also meant reorganizing peano_thms.gh so that min, mod, and div come before recursion which uses ordered pairs.
Adds theorems computing some of the fibonacci and triangular numbers. Adds to the wiki surrounding these topics and adds more explanation to peano_thms.gh.
Add titles and summaries to the axioms now that they can be displayed. Add links to the axioms in the wikis. Derive basic properties of even and odd numbers. Replace the old definition of exponents with the new simpler version.
Complete rewrite of the rationals file. All the most essential properties of rational addition and multiplication are not in place. Prove theorem related to congruence modulo.
Remove TODO comment.
Add rational inequalities. Adds wikis related to the integers and the rationals.
Creates a new version of the peano directory that tries to organize the chaos. peano_thms is split into seperate files for predicate calculus, predicate calculus with equality, natural number arithmetic, and set theory. Added interfaces that are first proved from the Peano axioms, then in the construction of the integers, and then in the construction of the rationals. A few of the files do not verify because of a problem with the kindbind.
Add theorems for single and multiple digit inequalities. Add theorems supporting negative number calculations. Add theorems related to functions.
Filename fixes for unix/windows portability.

That is, use slashes not backslashes and don't assume case-insensitivity.
Reorganizes theorems for naturals, integers, rationals, and complex numbers into separate directories. Adds complex numbers.
Add recursion, mod, and div theorems to the naturals. Adds a way to import theorems specific to naturals into other contexts. Adds theorems related to the supremum and square root and the quadratic equation. Replaces some strange characters with dashes to get the general directory to verify on Windows machines.