Wed, 05 Aug 2020 21:03:31 +0100 | paulson | merged | changeset | files |
Wed, 05 Aug 2020 19:12:08 +0100 | paulson | lemmas about sets and the enumerate operator | changeset | files |
Wed, 05 Aug 2020 17:56:33 +0100 | paulson | yet another little lemma | changeset | files |