Lean mathematical theories #

The following document some theories spanning multiple files.