mathlib

895f5689 - perf(tactic/lint): speed up nolint attribute (#2828)

perf(tactic/lint): speed up nolint attribute (#2828) Looking up the nolint attribute only takes 15 seconds out of the 45 minutes, so speeding up this part has little effect. More importantly, this PR removes one branch from the mathlib repository.