--- a/NEWS Thu Jun 23 19:29:22 2022 +0200
+++ b/NEWS Fri Jun 24 15:05:04 2022 +0200
@@ -46,7 +46,8 @@
compatibility but its usage is discouraged. Minor INCOMPATIBILITY.
- Changed argument order of mono_on and strict_mono_on to uniformize
with monotone_on and the general "characterizing set at the beginning
- of predicates" preference. Minor INCOMPATIBILITY
+ of predicates" preference. Also change them to be abbreviation of
+ monotone_of. Minor INCOMPATIBILITY
- Added lemmas.
monotone_onD
monotone_onI