Metamath Proof Explorer

Table of Contents - 2.4.29. Pigeonhole Principle

  1. phplem1
  2. phplem2
  3. nneneq
  4. php
  5. php2
  6. php3
  7. php4
  8. php5
  9. phpeqd
  10. snnen2o
  11. nndomog
  12. phplem1OLD
  13. phplem2OLD
  14. phplem3OLD
  15. phplem4OLD
  16. nneneqOLD
  17. phpOLD
  18. php2OLD
  19. php3OLD
  20. phpeqdOLD
  21. nndomogOLD