Metamath Proof Explorer

Table of Contents - 8.1.2. Opposite category

1. coppc
2. df-oppc
3. oppcval
4. oppchomfval
5. oppchom
6. oppccofval
7. oppcco
8. oppcbas
9. oppccatid
10. oppchomf
11. oppcid
12. oppccat
13. 2oppcbas
14. 2oppchomf
15. 2oppccomf
16. oppchomfpropd
17. oppccomfpropd
18. oppccatf