I'm learning lean

Probably check this out using the lean web editor

Or install lean with brew install lean coreutils and then run leanpkg build in this directory.

I'm currently stuck at showing anything about different functions being equal.