diff options
Diffstat (limited to 'src/Util/ZUtil/Le.v')
-rw-r--r-- | src/Util/ZUtil/Le.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/ZUtil/Le.v b/src/Util/ZUtil/Le.v index a32d0fdd0..d49931818 100644 --- a/src/Util/ZUtil/Le.v +++ b/src/Util/ZUtil/Le.v @@ -61,4 +61,4 @@ Module Z. Lemma le_add_1_iff x y : x + 1 <= y <-> x < y. Proof. lia. Qed. -End Z. +End Z.
\ No newline at end of file |