equal
deleted
inserted
replaced
18 - Added lemmas. |
18 - Added lemmas. |
19 antisym_if_asymp |
19 antisym_if_asymp |
20 antisymp_if_asymp |
20 antisymp_if_asymp |
21 irreflD |
21 irreflD |
22 irreflpD |
22 irreflpD |
|
23 linorder.totalp_ge[simp] |
|
24 linorder.totalp_greater[simp] |
|
25 linorder.totalp_le[simp] |
|
26 linorder.totalp_less[simp] |
23 order.antisymp_ge[simp] |
27 order.antisymp_ge[simp] |
24 order.antisymp_le[simp] |
28 order.antisymp_le[simp] |
25 preorder.antisymp_greater[simp] |
29 preorder.antisymp_greater[simp] |
26 preorder.antisymp_less[simp] |
30 preorder.antisymp_less[simp] |
27 preorder.reflp_ge[simp] |
31 preorder.reflp_ge[simp] |