Thu, 05 Jan 2017 14:49:21 +0100 | haftmann | lead_coeff is more appropriate as abbreviation | changeset | files |
Thu, 05 Jan 2017 09:24:07 +0100 | haftmann | more lemmas; | changeset | files |
Thu, 05 Jan 2017 17:10:13 +0000 | paulson | covering space lift lemmas | changeset | files |
Thu, 05 Jan 2017 16:37:49 +0000 | paulson | facts about ANRs, ENRs, covering spaces | changeset | files |
Thu, 05 Jan 2017 16:03:23 +0000 | paulson | New theory of arcwise connected sets and other new material | changeset | files |
Thu, 05 Jan 2017 15:03:37 +0000 | paulson | connectedness, circles not simply connected , punctured universe | changeset | files |
Thu, 05 Jan 2017 14:18:24 +0000 | paulson | New material about path connectedness, etc. | changeset | files |