Small Inductive Dimension of Topological Spaces. Part II
Karol Pąk · Formalized Mathematics · 2009
Small Inductive Dimension of Topological Spaces. Part II In this paper we present basic properties of n-dimensional topological spaces according to the book [10]. In the article the formalization of Section 1.5 is completed.