mathlib documentation

core / init.version

Equations

Equations

Additional version description like "nightly-2018-03-11"

Equations