⚠ [8558/8560] Built GCDChain.Basic (4.8s)
warning: GCDChain/Basic.lean:47:8: This simp argument is unused:
  Nat.nsmul_eq_mul

Hint: Omit it from the simp argument list.
  simp ̵[̵N̵a̵t̵.̵n̵s̵m̵u̵l̵_̵e̵q̵_̵m̵u̵l̵]̵

Note: This linter can be disabled with `set_option linter.unusedSimpArgs false`
✔ [8559/8560] Built GCDChain (3.6s)
Build completed successfully (8560 jobs).
