equal
deleted
inserted
replaced
40 reflp_equality[simp] ~> reflp_on_equality[simp] |
40 reflp_equality[simp] ~> reflp_on_equality[simp] |
41 total_on_singleton |
41 total_on_singleton |
42 - Added lemmas. |
42 - Added lemmas. |
43 antisym_if_asymp |
43 antisym_if_asymp |
44 antisymp_if_asymp |
44 antisymp_if_asymp |
|
45 antisymp_on_antisym_on_eq[pred_set_conv] |
45 asym_if_irrefl_and_trans |
46 asym_if_irrefl_and_trans |
46 asymp_if_irreflp_and_transp |
47 asymp_if_irreflp_and_transp |
47 irreflD |
48 irreflD |
48 irrefl_onD |
49 irrefl_onD |
49 irrefl_onI |
50 irrefl_onI |