Mon, 17 Feb 2020 11:17:09 +0100 | wenzelm | tuned; | changeset | files |
Sun, 16 Feb 2020 21:11:28 +0100 | nipkow | merged | changeset | files |
Sun, 16 Feb 2020 18:01:03 +0100 | nipkow | lemmas about "card A = 2"; prefer iff to implications | changeset | files |