Metamath Proof Explorer

Table of Contents - 2.1.26. Transitive classes

1. wtr
2. df-tr
3. dftr2
4. dftr2c
5. dftr5
6. dftr3
7. dftr4
8. treq
9. trel
10. trel3
11. trss
12. trin
13. tr0
14. trv
15. triun
16. truni
17. triin
18. trint
19. trintss