epsilon.v 110 Bytes
Newer Older
1
Section Epsilon.
Sergey Bozhko's avatar
Sergey Bozhko committed
2

3
  (* [ε] is defined as the smallest positive number. *)
Sergey Bozhko's avatar
Sergey Bozhko committed
4 5 6
  Definition ε := 1.

End Epsilon.