mathlib documentation

core / init.default