Metamath Proof Explorer


Table of Contents - 8.1.2. Opposite category

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