mathlib3
0a58aefa - lint(scripts/lint-style): style linter for _inst_ occurences (#15977)

Commit

3 years ago

lint(scripts/lint-style): style linter for _inst_ occurences (#15977) Co-authored-by: Mauricio Collares <mauricio@collares.org>

Author

jcommelin

Parents