Mon, 21 Nov 2022 18:23:32 +0100 | desharna | merged | changeset | files |
Mon, 21 Nov 2022 13:53:04 +0100 | desharna | strengthened and renamed lemma reflp_on_equality | changeset | files |
Mon, 21 Nov 2022 13:48:58 +0100 | desharna | renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le) | changeset | files |