chore: add grind test for future improvements to non-linear arithmetic.#10970

kim-em wants to merge 1 commit intomasterleanprover/lean4:masterfrom

grind_ordered_ring_testleanprover/lean4:grind_ordered_ring_testCopy head branch name to clipboard