mathlib

77a211df - fix line width and copyright statement