Fix "omega is deprecated" warnings by switching to lia
On Coq v8.12+alpha there are a few new warnings from uses of omega
, which should be replaced with lia
. This might be a little annoying to make compatible with Coq v8.9, since lia
has gotten progressively more powerful.