- **Removed:**
  Removed the `omega` tactic (deprecated in 8.12) and 4 `* Omega *` flags.
  Use `lia` instead.
  (`#13741 <https://github.com/coq/coq/pull/13741>`_,
  by Jim Fehrle, who addressed the final details, building on much work by
  Frédéric Besson, who greatly improved :tacn:`lia`, Maxime Dénès,
  Vincent Laporte and with the help of many package maintainers, among others).