Small Inductive Dimension of Topological Spaces. Part II
Karol Pąk (2009)
Formalized Mathematics
Similarity:
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.