Metamath Proof Explorer
Table of Contents - 20.44. Mathbox for Emmett Weisz
- Miscellaneous Theorems
- nfintd
- nfiund
- nfiundg
- iunord
- iunordi
- spd
- spcdvw
- tfis2d
- bnd2d
- dffun3f
- Set Recursion
- Basic Properties of Set Recursion
- Examples and properties of set recursion
- Construction of Games and Surreal Numbers
- cpg
- df-pg
- elpglem1
- elpglem2
- elpglem3
- elpg