Repository navigation

[Merged by Bors] - chore: format imports - #44513

Closed

thorimur wants to merge 3 commits into

leanprover-community:masterfrom

thorimur:format-imports

Closed

[Merged by Bors] - chore: format imports#44513
thorimur wants to merge 3 commits into
leanprover-community:masterfrom
thorimur:format-imports

Commits on Oct 9, 2026
- chore: skimmer
  thorimur
  committed
  a412387
- test: update hint suggestions after import reordering
  
  kim-em
  authored and
  thorimur
  committed
  27775b5
- chore: do not format
  thorimur
  committed
  2065829