⚠ [8558/8561] Built DenseGridGCD.OddGcdTruncation (7.3s)
warning: DenseGridGCD/OddGcdTruncation.lean:67:39: Variable name `hM` is not explicitly referenced.

The binding can be removed (if unused) or named `_` (if used implicitly).

Note: This linter can be disabled with `set_option linter.unusedVariables false`
warning: DenseGridGCD/OddGcdTruncation.lean:69:45: this tactic is never executed

Note: This linter can be disabled with `set_option linter.unreachableTactic false`
warning: DenseGridGCD/OddGcdTruncation.lean:69:45: 'omega' tactic does nothing

Note: This linter can be disabled with `set_option linter.unusedTactic false`
warning: DenseGridGCD/OddGcdTruncation.lean:201:37: Try `simp at hroot` instead of `simpa using hroot`

Note: This linter can be disabled with `set_option linter.unnecessarySimpa false`
⚠ [8559/8561] Built DenseGridGCD.DenseGcdTruncation (6.4s)
warning: DenseGridGCD/DenseGcdTruncation.lean:71:44: this tactic is never executed

Note: This linter can be disabled with `set_option linter.unreachableTactic false`
warning: DenseGridGCD/DenseGcdTruncation.lean:71:44: 'omega' tactic does nothing

Note: This linter can be disabled with `set_option linter.unusedTactic false`
warning: DenseGridGCD/DenseGcdTruncation.lean:169:37: Try `simp at hroot` instead of `simpa using hroot`

Note: This linter can be disabled with `set_option linter.unnecessarySimpa false`
✔ [8560/8561] Built DenseGridGCD (3.4s)
Build completed successfully (8561 jobs).
