Add theorems for the set inclusion, mod, div, and exponent operations.
Fix style comment that was left uncommented.
Add proof by infinite descent.
I was always taught that 1 is not a prime number. I changed the definition of prime numbers and updated all the proofs that use the definition.
Arithmetic Tables update. Added new styling annotation that suggests using a theorem if it can be used in the current expression. Added some theorems for set interval and prime numbers.
This fixes several things I broke without being aware of it because of freeness constraints and theorems in the wrong order. This fixes or comments out the problems.
Add many proofs related to prime numbers. Added many results of the automatic theorem generation into arithmetic.gh.
Adds sum over arbitrary functions (Sigma), products (Pi), factorials, index of tuples, sums from tuples, products from tuples, sets from tuples, functions applied over sets, and improved recursion. All that work was directed towards writing a proof of Euler's Theorem.
Removed the unicode signature to fix importing and exporting files. Add summaries to theorems. Add proof for summing an arithmetic series.
Fix LessThanGreaterThan and LessEqualAntisymmetryLemma.
Add styling and summaries to peano/prop files. Add truth tables. Fix peano_thms so it verifies. Start a peano wiki. Improve Euclid's theorem.
Fix LessEqualAntisymmetry.
Fix up automatically generated (and wrong) theorem names.

This is for > and ≥.
Fix for ghilbert.
Need to gitignore verify.log.

That is, as long as the ghilbert verify_all.py script writes that file in the current directory when it runs.
Fix for ghilbert.
Add a bunch of wikis explaining the operations in the peano directory. Rewrote several theorems with improved formatting: arithmeticsum, uncom, mulid, and addcom.
Fix for ghilbert.
Add some tutorials to the wiki. Rewrite basic associative, distributive, commutative theorems with improved formatting. Add examples of automatically generated theorems for more operations.
Add material to the wiki. Add theorems surrounding set minimum, binomial coefficients, and the fibonacci sequence.