Metamath Proof Explorer


Table of Contents - 20.31.18. Pigeonhole Principle and cardinality helpers

  1. fphpd
  2. fphpdo
  3. ctbnfien
  4. fiphp3d