[[1] Grzegorz Bancerek. Cardinal arithmetics. Formalized Mathematics, 1(3):543-547, 1990.]Search in Google Scholar
[[2] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.]Search in Google Scholar
[[3] Grzegorz Bancerek. König's theorem. Formalized Mathematics, 1(3):589-593, 1990.]Search in Google Scholar
[[4] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.]Search in Google Scholar
[[5] Józef Białas and Yatsuka Nakamura. The theorem of Weierstrass. Formalized Mathematics, 5(3):353-359, 1996.]Search in Google Scholar
[[6] Leszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991.]Search in Google Scholar
[[7] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.]Search in Google Scholar
[[8] Agata Darmochwał. Families of subsets, subspaces and mappings in topological spaces. Formalized Mathematics, 1(2):257-261, 1990.]Search in Google Scholar
[[9] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.]Search in Google Scholar
[[10] Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.]Search in Google Scholar
[[11] Ryszard Engelking. General Topology, volume 60 of Monografie Matematyczne. PWN-Polish Scientific Publishers, Warsaw, 1977.]Search in Google Scholar
[[12] Ryszard Engelking. Teoria wymiaru. PWN, 1981.]Search in Google Scholar
[[13] Adam Grabowski. Properties of the product of compact topological spaces. Formalized Mathematics, 8(1):55-59, 1999.]Search in Google Scholar
[[14] Adam Grabowski. On the Borel families of subsets of topological spaces. Formalized Mathematics, 13(4):453-461, 2005.]Search in Google Scholar
[[15] Adam Grabowski. On the boundary and derivative of a set. Formalized Mathematics, 13(1):139-146, 2005.]Search in Google Scholar
[[16] Stanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607-610, 1990.]Search in Google Scholar
[[17] Zbigniew Karno. Maximal discrete subspaces of almost discrete topological spaces. Formalized Mathematics, 4(1):125-135, 1993.]Search in Google Scholar
[[18] Robert Milewski. Bases of continuous lattices. Formalized Mathematics, 7(2):285-294, 1998.]Search in Google Scholar
[[19] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.]Search in Google Scholar
[[20] Alexander Yu. Shibakov and Andrzej Trybulec. The Cantor set. Formalized Mathematics, 5(2):233-236, 1996.]Search in Google Scholar
[[21] Andrzej Trybulec. A Borsuk theorem on homotopy types. Formalized Mathematics, 2(4):535-545, 1991.]Search in Google Scholar
[[22] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.]Search in Google Scholar
[[23] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.]Search in Google Scholar