Mon, 09 Oct 2017 19:10:49 +0200 | haftmann | clarified uniqueness criterion for euclidean rings | changeset | files |
Mon, 09 Oct 2017 19:10:48 +0200 | haftmann | tuned proofs | changeset | files |
Mon, 09 Oct 2017 19:10:47 +0200 | haftmann | tuned imports | changeset | files |