really add Omega.v

garrigue · Nov 15, 2022 · ca94fba · ca94fba
1 parent 2f66dcf
commit ca94fba
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Omega.v b/Omega.v
@@ -0,0 +1,2 @@
+Require Export ZArith Lia.
+Ltac omega := lia.