List of Lean Kata to Update

Lean v3.18.4 with mathlib 78655b6 was added.

The following kata are not compatible.

1. (5^5^5^5^5-1)/(5^5^(5^5^5-1)-1) isn't prime
2. A random fact about filtering
3. a^2=b^3+11
4. Limit of the arithmetic mean
5. Odd + Even = Odd? Even * Anything = Even? Prove it!
6. Prove that any Inverse of an Involutive Function is itself
7. Pushouts and epimorphisms
8. Verified Horner's method