Metamath Proof Explorer

Table of Contents - 2.4.18. Well-ordered recursion

1. cwrecs
2. df-wrecs
3. wrecseq123
4. nfwrecs
5. wrecseq1
6. wrecseq2
7. wrecseq3
8. csbwrecsg
9. wfr3g
10. wfrrel
11. wfrdmss
12. wfrdmcl
13. wfrfun
14. wfrresex
15. wfr2a
16. wfr1
17. wfr2
18. wfr3