feat(Tactic/Linter/Header): suggest formatting imports according to the style convention - #44507

feat(Tactic/Linter/Header): suggest formatting imports according to the style convention#44507

thorimur wants to merge 17 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

thorimur:format-imports-headerthorimur/mathlib4:format-imports-headerCopy head branch name to clipboard