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.