Library prosa.util.epsilon
(* ----------------------------------[ coqtop ]---------------------------------
Welcome to Coq 8.11.2 (June 2020)
----------------------------------------------------------------------------- *)
Section
Epsilon
.
(* [ε] is defined as the smallest positive number. *)
Definition
ε
:= 1.
End
Epsilon
.