omega is deprecated in favor of the lia tactic (see Omega: a (deprecated) solver for arithmetic — Coq 8.13.2 documentation).
Just do Require Import Lia in order to use it.