mathlib3 documentation

core / init.version

Equations
Equations

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

Equations