Thu, 19 Sep 2019 13:59:29 +0100 | paulson | Four new results from Smooth_Manifolds/Analysis_More | changeset | files |
Thu, 19 Sep 2019 12:36:15 +0100 | paulson | A few more simple results | changeset | files |
Wed, 18 Sep 2019 14:41:37 +0100 | paulson | imported new material mostly due to Sébastien Gouëzel | changeset | files |