%0 Journal Article
%T The Definition of Topological Manifolds
%A Marco Riccardi
%J Formalized Mathematics
%@ 1898-9934
%D 2011
%I 
%R 10.2478/v10037-011-0007-4
%X This article introduces the definition of n-locally Euclidean topological spaces and topological manifolds [13].
%U http://versita.metapress.com/content/k8275l183pg14573/?p=25816f9e6d274cf5ab90abc2a2c39abd&pi=6