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

1 files changed, 2 insertions, 0 deletions

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