Metamath Proof Explorer

Table of Contents - 10.9.1. Definition and basic properties

1. cphl
2. cipf
3. df-phl
4. df-ipf
5. isphl
6. phllvec
7. phllmod
8. phlsrng
9. phllmhm
10. ipcl
11. ipcj
12. iporthcom
13. ip0l
14. ip0r
15. ipeq0
16. ipdir
17. ipdi
18. ip2di
19. ipsubdir
20. ipsubdi
21. ip2subdi
22. ipass
23. ipassr
24. ipassr2
25. ipffval
26. ipfval
27. ipfeq
28. ipffn
29. phlipf
30. ip2eq
31. isphld
32. phlpropd
33. ssipeq
34. phssipval
35. phssip
36. phlssphl