A library of mathematics and data structures for Lean.