mathlib3

21b1fcc8 - fix(asymptotics, deriv): minor formatting fixes