Metamath Proof Explorer


Table of Contents - 20.10.40. Hereditarily Finite Sets

  1. chf
  2. df-hf
  3. elhf
  4. elhf2
  5. elhf2g
  6. 0hf
  7. hfun
  8. hfsn
  9. hfadj
  10. hfelhf
  11. hftr
  12. hfext
  13. hfuni
  14. hfpw
  15. hfninf