From 590adf7b207b7186121c949d0f0419445471269c Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Tue, 29 Jan 2019 13:35:31 +0100
Subject: Add some theorems on lersif and intervals (#269)

* Add some theorems on lersif and intervals

* Add more theorems on lersif

* Remove needless parens

* ChangeLog

* Move lersifN

* Add lersif_anti
---
 ChangeLog | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 33d197a..49a850a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -14,6 +14,8 @@
 
 	* Extended theory about homo and mono for leq/or and Num.le
 
+	* Extended theory of lersif and intervals
+
 	* Renamed: (together with the _in suffix counterpart)
 	  mono_inj -> incr_inj
 	  nmono_inj -> decr_inj
-- 
cgit v1.2.3