mathlib3

04b5f885 - refactor(analysis/asymptotics): minor formatting changes