| Tue, 20 Dec 2022 09:34:37 +0100 | desharna | used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element | changeset | files |
| Mon, 19 Dec 2022 16:20:57 +0100 | desharna | added lemma trans_on_lex_prod[simp] | changeset | files |
| Mon, 19 Dec 2022 16:12:17 +0100 | desharna | strengthened and renamed lemma trans_converse and added lemma transp_on_conversep | changeset | files |
| 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 |
| Mon, 19 Dec 2022 15:54:03 +0100 | desharna | added lemmas trans_on_subset and transp_on_subset | changeset | files |