Repository navigation

chore: use import graph 171 for header linter suggestions - #44509

Draft

thorimur wants to merge 3 commits into

leanprover-community:masterfrom

thorimur:format-imports-header-with-171

Draft

chore: use import graph 171 for header linter suggestions#44509
thorimur wants to merge 3 commits into
leanprover-community:masterfrom
thorimur:format-imports-header-with-171

Commits on Oct 5, 2026
- feat: header format
  thorimur
  committed
  1126d00
- chore: test
  thorimur
  committed
  e852d69
- chore: use import-graph 171
  thorimur
  committed
  f8c3834