Metamath Proof Explorer

Table of Contents - 9.2.7. Directed sets, nets

1. cdir
2. ctail
3. df-dir
4. df-tail
5. isdir
6. reldir
7. dirdm
8. dirref
9. dirtr
10. dirge
11. tsrdir