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 |