equal
deleted
inserted
replaced
36 - Added lemmas. |
36 - Added lemmas. |
37 antisym_if_asymp |
37 antisym_if_asymp |
38 antisymp_if_asymp |
38 antisymp_if_asymp |
39 irrefl_onD |
39 irrefl_onD |
40 irrefl_onI |
40 irrefl_onI |
|
41 irrefl_on_subset |
41 irreflp_onD |
42 irreflp_onD |
42 irreflp_onI |
43 irreflp_onI |
43 irreflp_on_irrefl_on_eq[pred_set_conv] |
44 irreflp_on_irrefl_on_eq[pred_set_conv] |
|
45 irreflp_on_subset |
44 linorder.totalp_on_ge[simp] |
46 linorder.totalp_on_ge[simp] |
45 linorder.totalp_on_greater[simp] |
47 linorder.totalp_on_greater[simp] |
46 linorder.totalp_on_le[simp] |
48 linorder.totalp_on_le[simp] |
47 linorder.totalp_on_less[simp] |
49 linorder.totalp_on_less[simp] |
48 order.antisymp_ge[simp] |
50 order.antisymp_ge[simp] |