Updated the mathlib to the new stdlib style and documented it.