mathlib

83a7d961 - Fixing too long doc-string lines right away.