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. nfopab
8. nfopab1
9. nfopab2
10. cbvopab
11. cbvopabv
12. cbvopab1
13. cbvopab1g
14. cbvopab2
15. cbvopab1s
16. cbvopab1v
17. cbvopab2v
18. unopab