mathlib
28b7e8bd - Changes to documentation suggested by S. Gouëzel.

Commit

3 years ago

Changes to documentation suggested by S. Gouëzel. In particular, an intro section defining the Borel hierarchy in detail.

Author

sterraf

Parents