Metamath Proof Explorer

Table of Contents - 20.44.1. Miscellaneous Theorems

Some of these theorems are used in the series of lemmas and theorems proving the defining properties of .

1. nfintd
2. nfiund
3. nfiundg
4. iunord
5. iunordi
6. spd
7. spcdvw
8. tfis2d
9. bnd2d
10. dffun3f