Metamath Proof Explorer

Table of Contents - 21.3.3.4. Unordered pairs

  1. elpreq
  2. prssad
  3. prssbd
  4. nelpr
  5. inpr0
  6. neldifpr1
  7. neldifpr2
  8. unidifsnel
  9. unidifsnne