Metamath Proof Explorer

Table of Contents - 21.51.15.8. Opposite functors

1. coppf
2. df-oppf
3. oppffn
4. reldmoppf
5. oppfvalg
6. oppfrcllem
7. oppfrcl
8. oppfrcl2
9. oppfrcl3
10. oppf1st2nd
11. 2oppf
12. eloppf
13. eloppf2
14. oppfvallem
15. oppfval
16. oppfval2
17. oppfval3
18. oppf1
19. oppf2
20. oppfoppc
21. oppfoppc2
22. funcoppc2
23. funcoppc4
24. funcoppc5
25. 2oppffunc
26. funcoppc3
27. oppff1
28. oppff1o
29. cofuoppf