Metamath Proof Explorer

Table of Contents - 2.2.2. Derive the Axiom of Separation

  1. axsepgfromrep
  2. axsep
  3. ax-sep
  4. axsepg
  5. sepg
  6. sepgi
  7. zfausclOLD
  8. sepexlem
  9. sepex
  10. sepexi
  11. bm1.3iiOLD
  12. ax6vsep