[[1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.]Search in Google Scholar
[[2] Grzegorz Bancerek. The "way-below" relation. Formalized Mathematics, 6(1):169-176, 1997.]Search in Google Scholar
[[3] Leszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991.]Search in Google Scholar
[[4] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.]Search in Google Scholar
[[5] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.]Search in Google Scholar
[[6] Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.]Search in Google Scholar
[[7] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.]Search in Google Scholar
[[8] Czesław Byliński. Introduction to real linear topological spaces. Formalized Mathematics, 13(1):99-107, 2005.]Search in Google Scholar
[[9] Agata Darmochwał. Compact spaces. Formalized Mathematics, 1(2):383-386, 1990.]Search in Google Scholar
[[10] Alicia de la Cruz. Totally bounded metric spaces. Formalized Mathematics, 2(4):559-562, 1991.]Search in Google Scholar
[[11] Stanisława Kanas and Adam Lecko. Sequences in metric spaces. Formalized Mathematics, 2(5):657-661, 1991.]Search in Google Scholar
[[12] Stanisława Kanas and Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607-610, 1990.]Search in Google Scholar
[[13] Zbigniew Karno. Continuity of mappings over the union of subspaces. Formalized Mathematics, 3(1):1-16, 1992.]Search in Google Scholar
[[14] Takaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces. Formalized Mathematics, 12(3):269-275, 2004.]Search in Google Scholar
[[15] Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.]Search in Google Scholar
[[16] Beata Padlewska. Locally connected spaces. Formalized Mathematics, 2(1):93-96, 1991.]Search in Google Scholar
[[17] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.]Search in Google Scholar
[[18] Jan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991.]Search in Google Scholar
[[19] Bartłomiej Skorulski. First-countable, sequential, and Frechet spaces. Formalized Mathematics, 7(1):81-86, 1998.]Search in Google Scholar
[[20] Bartłomiej Skorulski. The sequential closure operator in sequential and Frechet spaces. Formalized Mathematics, 8(1):47-54, 1999.]Search in Google Scholar
[[21] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.]Search in Google Scholar
[[22] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.]Search in Google Scholar
[[23] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.]Search in Google Scholar
[[24] Andrzej Trybulec. Baire spaces, Sober spaces. Formalized Mathematics, 6(2):289-294, 1997.]Search in Google Scholar
[[25] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.]Search in Google Scholar
[[26] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.]Search in Google Scholar
[[27] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.]Search in Google Scholar