mathlib

d1ff7abb - Finished docstrings of defs and structures