Thu, 22 Dec 2022 21:55:51 +0100 | desharna | merged | changeset | files |
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 |