--- a/NEWS Fri Mar 21 10:48:48 2025 +0000 +++ b/NEWS Fri Mar 21 14:21:44 2025 +0100 @@ -55,6 +55,7 @@ totalp_on_mono_stronger_alt totalp_on_top[simp] trans_on_bot[simp] + trans_on_diff_Id trans_on_top[simp] transp_on_bot[simp] transp_on_top[simp]