Metamath Proof Explorer

Table of Contents - 20.10.12. Ordinal numbers

1. elpotr
2. dford5reg
3. dfon2lem1
4. dfon2lem2
5. dfon2lem3
6. dfon2lem4
7. dfon2lem5
8. dfon2lem6
9. dfon2lem7
10. dfon2lem8
11. dfon2lem9
12. dfon2
13. rdgprc0
14. rdgprc
15. dfrdg2
16. dfrdg3