Library rt.util.epsilon
(* ----------------------------------[ coqtop ]---------------------------------
Welcome to Coq 8.10.1 (October 2019)
----------------------------------------------------------------------------- *)
Section
Epsilon
.
(* ε is defined as the smallest positive number. *)
Definition
ε
:= 1.
End
Epsilon
.