--- a/NEWS Mon Dec 19 08:07:36 2022 +0100 +++ b/NEWS Mon Dec 19 08:14:23 2022 +0100 @@ -65,6 +65,7 @@ asymp_if_irreflp_and_transp asymp_onD asymp_onI + asymp_on_asym_on_eq[pred_set_conv] irreflD irrefl_onD irrefl_onI