Metamath Proof Explorer

Table of Contents - 20.44.2.2. Examples and properties of set recursion

1. elsetrecslem
2. elsetrecs
3. setrecsss
4. setrecsres
5. vsetrec
6. 0setrec
7. onsetreclem1
8. onsetreclem2
9. onsetreclem3
10. onsetrec