| changeset 77987 | 0f7dc48d8b7f |
| parent 77986 | 0f92caebc19a |
| child 77988 | 3e5f6e31c4fd |
--- a/NEWS Mon May 08 11:16:45 2023 +0200 +++ b/NEWS Mon May 08 11:24:46 2023 +0200 @@ -227,6 +227,8 @@ - Used transp_on and reorder assumptions of lemmas bex_least_element and bex_greatest_element. Minor INCOMPATIBILITIES. - Added lemmas. + count_minus_inter_lt_count_minus_inter_iff + minus_inter_eq_minus_inter_iff mult_mono_strong multeqp_code_iff_reflclp_multp multp_code_iff_multp