mathlib3

428663b7 - fix line length (not sure why it isn't trigged by other lines over 100)