Thu, 15 Sep 2016 15:48:37 +0100 | paulson | lots of new results about topology, affine dimension etc | changeset | files |
Thu, 15 Sep 2016 14:33:55 +0100 | paulson | Merge | changeset | files |
Thu, 15 Sep 2016 14:14:49 +0100 | paulson | simple new lemmas, mostly about sets | changeset | files |