[1] Grzegorz Bancerek. Cardinal numbers. *Formalized Mathematics*, 1(**2**):377-382, 1990.Google Scholar

[2] Grzegorz Bancerek. The fundamental properties of natural numbers. *Formalized Mathematics*, 1(**1**):41-46, 1990.Google Scholar

[3] Grzegorz Bancerek. The ordinal numbers. *Formalized Mathematics*, 1(**1**):91-96, 1990.Google Scholar

[4] Grzegorz Bancerek. Bounds in posets and relational substructures. *Formalized Mathematics*, 6(**1**):81-91, 1997.Google Scholar

[5] Czesław Byliński. Functions and their basic properties. *Formalized Mathematics*, 1(**1**):55-65, 1990.Google Scholar

[6] Czesław Byliński. Partial functions. *Formalized Mathematics*, 1(**2**):357-367, 1990.Google Scholar

[7] Czesław Byliński. Some basic properties of sets. *Formalized Mathematics*, 1(**1**):47-53, 1990.Google Scholar

[8] Agata Darmochwał. Finite sets. *Formalized Mathematics*, 1(**1**):165-167, 1990.Google Scholar

[9] Rafał Kwiatek. Factorial and Newton coefficients. *Formalized Mathematics*, 1(**5**):887-890, 1990.Google Scholar

[10] M. Larsen, J. Propp, and D. Ullman. The fractional chromatic number of Mycielski's graphs. *Journal of Graph Theory*, 19:411-416, 1995.CrossrefGoogle Scholar

[11] J. Mycielski. Sur le coloriage des graphes. *Colloquium Mathematicum*, 3:161-162, 1955.Google Scholar

[12] Beata Padlewska. Families of sets. *Formalized Mathematics*, 1(**1**):147-152, 1990.Google Scholar

[13] Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. *Formalized Mathematics*, 1(**3**):441-444, 1990.Google Scholar

[14] Krzysztof Retel. The class of series - parallel graphs. Part I. *Formalized Mathematics*, 11(**1**):99-103, 2003.Google Scholar

[15] Piotr Rudnicki. Dilworth's decomposition theorem for posets. *Formalized Mathematics*, 17(**4**):223-232, 2009, doi: 10.2478/v10037-009-0028-4.CrossrefGoogle Scholar

[16] Wojciech A. Trybulec and Grzegorz Bancerek. Kuratowski - Zorn lemma. *Formalized Mathematics*, 1(**2**):387-393, 1990.Google Scholar

[17] Zinaida Trybulec. Properties of subsets. *Formalized Mathematics*, 1(**1**):67-71, 1990.Google Scholar

[18] Edmund Woronowicz. Relations and their basic properties. *Formalized Mathematics*, 1(**1**):73-83, 1990.Google Scholar

[19] Edmund Woronowicz. Relations defined on sets. *Formalized Mathematics*, 1(**1**):181-186, 1990.Google Scholar

## Comments (0)