mathlib

01e17a9d - feat(scripts/lint-style.sh): check that Lean files don't have executable bit (#5606)