mathlib documentation

core.​init.​default

core.​init.​default