Metamath Proof Explorer

Table of Contents - 20.23.11. Transitivity

1. df-trs
2. df-trrels
3. df-trrel
4. dftrrels2
5. dftrrels3
6. dftrrel2
7. dftrrel3
8. eltrrels2
9. eltrrels3
10. eltrrelsrel
11. trreleq