Metamath Proof Explorer

Table of Contents - 21.52. Mathbox for Emmett Weisz

1. Miscellaneous Theorems
   1. nfintd
   2. nfiund
   3. nfiundg
   4. iunord
   5. iunordi
   6. spd
   7. spcdvw
   8. tfis2d
   9. bnd2d
   10. dffun3f
2. Set Recursion
   1. Basic Properties of Set Recursion
   2. Examples and properties of set recursion
3. Construction of Games and Surreal Numbers
   1. cpg
   2. df-pg
   3. elpglem1
   4. elpglem2
   5. elpglem3
   6. elpg
   7. pgindlem
   8. pgindnf
   9. pgind