Metamath Proof Explorer

Table of Contents - 14.3.9. The Birthday Problem

1. log2ublem1
2. log2ublem2
3. log2ublem3
4. log2ub
5. log2le1
6. birthdaylem1
7. birthdaylem2
8. birthdaylem3
9. birthday