Metamath Proof Explorer

Table of Contents - 2.6.5. Transitive closure

1. trcl
2. tz9.1
3. tz9.1c
4. epfrs
5. zfregs
6. zfregs2
7. ctc
8. df-tc
9. tcvalg
10. tcid
11. tctr
12. tcmin
13. tc2
14. tcsni
15. tcss
16. tcel
17. tcidm
18. tc0
19. tc00