Metamath Proof Explorer

Table of Contents - 21.27.9. Converse reflexivity

1. df-cnvrefs
2. df-cnvrefrels
3. df-cnvrefrel
4. dfcnvrefrels2
5. dfcnvrefrels3
6. dfcnvrefrel2
7. dfcnvrefrel3
8. dfcnvrefrel4
9. dfcnvrefrel5
10. elcnvrefrels2
11. elcnvrefrels3
12. elcnvrefrelsrel
13. cnvrefrelcoss2
14. cosselcnvrefrels2
15. cosselcnvrefrels3
16. cosselcnvrefrels4
17. cosselcnvrefrels5