Metamath Proof Explorer

Table of Contents - 2.3.13. Well-ordered induction

1. tz6.26
2. tz6.26OLD
3. tz6.26i
4. wfi
5. wfiOLD
6. wfii
7. wfisg
8. wfisgOLD
9. wfis
10. wfis2fg
11. wfis2fgOLD
12. wfis2f
13. wfis2g
14. wfis2
15. wfis3