Mon, 19 Dec 2022 16:07:44 +0100 | desharna | strengthened and renamed trans_reflclI | changeset | files |
Mon, 19 Dec 2022 16:05:57 +0100 | desharna | strengthened and renamed transp_reflclp | changeset | files |
Mon, 19 Dec 2022 16:00:49 +0100 | desharna | strengthened and renamed lemmas preorder.transp_(ge|gr|le|less) | changeset | files |