Lean mathematical theories #

The following document some theories spanning multiple files.

• Sets and set-like objects
• Category theory
• Linear algebra
• The natural numbers
• Topological, uniform and metric spaces