changeset 76560 | df6ba3cf7874 |
parent 76559 | 4352d0ff165a |
child 76570 | 608489919ecf |
--- a/NEWS Mon Nov 21 14:11:30 2022 +0100 +++ b/NEWS Wed Nov 23 09:54:53 2022 +0100 @@ -38,9 +38,11 @@ antisymp_if_asymp irrefl_onD irrefl_onI + irrefl_on_subset irreflp_onD irreflp_onI irreflp_on_irrefl_on_eq[pred_set_conv] + irreflp_on_subset linorder.totalp_on_ge[simp] linorder.totalp_on_greater[simp] linorder.totalp_on_le[simp]