| Tue, 11 Oct 2022 12:13:47 +0200 | nipkow | removed redundant lemma | changeset | files |
| Tue, 11 Oct 2022 10:45:42 +0200 | nipkow | moved theorem from Fun to Set | changeset | files |
| Tue, 11 Oct 2022 11:48:04 +0200 | desharna | added lemmas antisymp_ge[simp], antisymp_greater[simp], antisymp_le[simp], and antisymp_less[simp] | changeset | files |
| Tue, 11 Oct 2022 11:07:07 +0200 | desharna | added lemmas reflp_ge[simp] and reflp_le[simp] | changeset | files |
| Mon, 10 Oct 2022 19:07:54 +0200 | desharna | removed unused universal variable from lemma reflp_onI | changeset | files |
| Mon, 10 Oct 2022 13:42:14 +0200 | desharna | added lemmas irreflD and irreflpD | changeset | files |
| Sun, 09 Oct 2022 16:24:50 +0200 | desharna | added lemmas antisym_if_asym and antisymp_if_asymp | changeset | files |