mathlib3

0dcb1849 - style(testing/slim_check): fix line length (#10114)