Fri, 12 Jun 2015 08:53:23 +0200 | haftmann | CONTRIBUTORS | changeset | files |
Fri, 12 Jun 2015 08:53:23 +0200 | haftmann | tuned lemmas and proofs | changeset | files |
Fri, 12 Jun 2015 08:53:23 +0200 | haftmann | given up trivial definition | changeset | files |