Revision #626 → #1474 · back to history
addedPigeonhole principle (basic statement)8c2f83c4f786
addedThree gloves handedness328252fb95c3
addedTwo Londoners with same hair counta7c0cc64995a
addedQuantified pigeonhole principle3589571d006b
addedFormal statement (injective function)48dad04d9a0a
addedLeurechon hairs statementa1e4f55bdcd6
addedSock pickingb425cc404312
addedHandshake degree pair812336b5ebe3
addedGraph vertices share degree7146944851d2
addedHair counting in Londoncb2ce3fdc55d
addedBirthday problem (367 people)0c4c5d25ec48
addedTeam tournament87556ea03ce5
addedSubset sum to 1027eeb343d800
addedHashing collisions44c12bf95c5c
addedLossless compression bound864bb0b79efc
addedDensity of fractional partsdede00a9812f
addedPumping lemma version (infinite/finite)59287d029b82
addedFisk's converse0c09d2c969a4
addedFormulation 1 (at least two objects)5d2454d1b538
addedFormulation 2 (exactly one each)c1170a9e4c96
addedFormulation 3 (no injective function)603178cdbc09
addedFormulation 4 (some place empty)2979977f7c85
addedFormulation 5 (no empty place)8509dc1a388e
addedFormulation 6 (no surjective function)24bebfa30ff2
addedStrong form of pigeonhole principle5adb115a8f8d
addedQuantified version (r or more objects)e4804cb22a92
addedCeiling lower bound restatement0c5e11f89159
addedFloor upper bound restatementec1df35446ea
addedProbabilistic generalization865368323e4d
addedMean-based generalizationb6eb20979b68
addedInfinite cardinal injection329164966cbe
addedDedekind finite phrasing96b975c79df6
addedUncountable pigeonhole principlea40bea410d1e
addedTechnical infinite restatementf87a16a4ffd7