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