NEWS

--- a/NEWS	Mon Dec 19 16:20:57 2022 +0100
+++ b/NEWS	Tue Dec 20 09:34:37 2022 +0100
@@ -166,6 +166,8 @@
       multp_cancel_add_mset
       multp_cancel_max
       multp_code_iff_mult
+  - Used transp_on in assumptions of lemmas bex_least_element and
+    bex_greatest_element. Minor INCOMPATIBILITIES.
   - Added lemmas.
       mult_mono_strong
       multeqp_code_iff_reflclp_multp