Karol Pąk (2009)
Formalized Mathematics
Similarity:
We present the concept and basic properties of the Menger-Urysohn small inductive dimension of topological spaces according to the books [7]. Namely, the paper includes the formalization of main theorems from Sections 1.1 and 1.2.
A. Pears (1971)
Fundamenta Mathematicae
Similarity:
Aarts, Jan M.
Similarity:
Jerzy Krzempek (2010)
Czechoslovak Mathematical Journal
Similarity:
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.
P. Borst, Jan Dijkstra (1985)
Fundamenta Mathematicae
Similarity: