| Mon, 21 Nov 2022 13:48:58 +0100 | desharna | renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le) | file | diff | annotate |
| Wed, 09 Nov 2022 16:36:22 +0100 | desharna | added lemma reflp_on_conversp[simp] | file | diff | annotate |
| Wed, 09 Nov 2022 15:38:43 +0100 | desharna | added lemma transp_reflclp[simp] | file | diff | annotate |