Pigeon hole principle
-
- Wojciech Trybulec
- Creator
Journal
-
- Formalized Mathematics
-
Formalized Mathematics 1 (3), 575-, 1990
Details
-
- CRID
- 1370285713973931786
-
- Data Source
-
- Crossref