Metamath Proof Explorer

Table of Contents - 15.3.4. Cofinality and coinitiality

1. cofslts
2. coinitslts
3. cofcut1
4. cofcut1d
5. cofcut2
6. cofcut2d
7. cofcutr
8. cofcutr1d
9. cofcutr2d
10. cofcutrtime
11. cofcutrtime1d
12. cofcutrtime2d
13. cofss
14. coiniss
15. cutlt
16. cutpos
17. cutmax
18. cutmin
19. cutminmax