Commit e1e81f86 authored by Sergey Bozhko's avatar Sergey Bozhko Committed by Sergey Bozhko

Add notion of epsilon

parent b74062d6
Module Epsilon.
(* ε is defined as the smallest positive number. *)
Definition ε := 1.
End Epsilon.
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment