Pigeon hole principle
-
- Wojciech Trybulec
- Creator
Journal
-
- Formalized Mathematics
-
Formalized Mathematics 1 (3), 575-, 1990
Formalized Mathematics 1 (3), 575-, 1990