Metamath Proof Explorer

Table of Contents - 21.12.12. Defined equality axioms

  1. axextdfeq
  2. ax8dfeq
  3. axextdist
  4. axextbdist
  5. 19.12b
  6. exnel
  7. distel
  8. axextndbi