Overview

This project’s own library is, in effect, a small extension of Mathlib and Lean’s own core library — the list below also links to every external declaration it refers to directly.