mathlib

b4a99a6f - move docs a bit further up