Add notion of epsilon

f591745b · Sergey Bozhko · e0ef4458 · f591745b
Commit f591745b authored 6 years ago by Sergey Bozhko
--- a/util/epsilon.v
+++ b/util/epsilon.v
+Module Epsilon.
+  (* ε is defined as the smallest positive number. *)
+  Definition ε := 1.
+End Epsilon.
\ No newline at end of file