Pigeon hole principle (1990)

by Wojciech A. Trybulec
Venue:Journal of Formalized Mathematics
Citations:262 - 13 self

Document Versions

Pigeon hole principle –Wojciech A. Trybulec — 1990 — Journal of Formalized Mathematics
Pigeon hole principle –Wojciech A. Trybulec — 1990 — Journal of Formalized Mathematics