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.