Metamath Proof Explorer

Table of Contents - 2.6.4. Transitive closure

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