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