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.
Add wikis explaining function operations. Update the tutorial now that there is a button to get into edit mode and you can click to remove statements on the proof stack.
Import missing theorems from metamath so that prop.gh verifies.
Comment out duplicates in prop.gh import from set.mm