mathlib3 documentation

core / init.default