Wed, 15 May 2019 14:43:32 +0100 | paulson | a few general lemmas | changeset | files |
Wed, 15 May 2019 12:47:15 +0100 | paulson | Generalisations involving numerals; comparisons should now work for ennreal | changeset | files |
Tue, 14 May 2019 20:35:09 +0200 | nipkow | tuned | changeset | files |