experiment: which `omega` can be replaced by `cutsat` #125

kim-em wants to merge 1 commit intonightly-testingleanprover-community/mathlib4-nightly-testing:nightly-testingfrom

omega_to_cutsat_2leanprover-community/mathlib4-nightly-testing:omega_to_cutsat_2Copy head branch name to clipboard