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