Doc'ed the mathlib.