Definition talk:Topological Manifold/Differentiable Manifold

I note that the definition has been completely changed - I wonder whether we need to go back and do that boring thing of demonstrating that this definition is equivalent to that definition, probably by (rather than adding a double definition on the same page) but by adding a proof that the original def is a consequence of (and implies) the new definition. --prime mover 03:15, 8 May 2011 (CDT)


 * I just separated it out into two pages, the part


 * $\forall O \in \vartheta: \exists$ a homeomorphism $\rho: O \to \R^n$ for some $n \in \N$.


 * of the old definition is now locally Euclidean space, and the rest I put into differentiable structure - as it was labelled WIP "Separate out the definition of smooth into its own page." --Linus44 13:28, 8 May 2011 (CDT)


 * Gotcha. No worries. --prime mover 15:14, 8 May 2011 (CDT)