Metamath Proof Explorer

Table of Contents - 21.51.17.1. Kan extensions

1. clan
2. cran
3. df-lan
4. df-ran
5. lanfn
6. ranfn
7. reldmlan
8. reldmran
9. lanfval
10. ranfval
11. reldmlan2
12. reldmran2
13. lanval
14. ranval
15. lanrcl
16. ranrcl
17. rellan
18. relran
19. islan
20. islan2
21. lanval2
22. isran
23. isran2
24. ranval2
25. lanrcl2
26. lanrcl3
27. lanrcl4
28. lanrcl5
29. ranrcl2
30. ranrcl3
31. ranrcl4lem
32. ranrcl4
33. ranrcl5
34. lanup
35. ranup