Metamath Proof Explorer

Table of Contents - 2.1.24. Ordered-pair class abstractions (class builders)

1. copab
2. df-opab
3. opabss
4. opabbid
5. opabbidv
6. opabbii
7. nfopabd
8. nfopab
9. nfopab1
10. nfopab2
11. cbvopab
12. cbvopabv
13. cbvopabvOLD
14. cbvopab1
15. cbvopab1g
16. cbvopab2
17. cbvopab1s
18. cbvopab1v
19. cbvopab1vOLD
20. cbvopab2v
21. unopab