mathlib

e94fef01 - feat(lint): run some linters on automatically generated declarations (#2090)

feat(lint): run some linters on automatically generated declarations (#2090) * style(lint): remove double periods remove spacing in the OK-results of #lint add newline after ever failed result of #lint_mathlib (1 newline between two files, 2 newlines between two linters) * run some linters on automatically generated declarations * fix doc string * fix mk_nolint * fix test * fix linter errors also explain how to fix linter errors for automatically generated declarations * fix linter errors Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com> Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>