Metamath Proof Explorer

Table of Contents - 18.3.1. Definition and basic properties

1. cnv
2. cpv
3. cba
4. cns
5. cn0v
6. cnsb
7. cnmcv
8. cims
9. df-nv
10. nvss
11. nvvcop
12. df-va
13. df-ba
14. df-sm
15. df-0v
16. df-vs
17. df-nmcv
18. df-ims
19. nvrel
20. vafval
21. bafval
22. smfval
23. 0vfval
24. nmcvfval
25. nvop2
26. nvvop
27. isnvlem
28. nvex
29. isnv
30. isnvi
31. nvi
32. nvvc
33. nvablo
34. nvgrp
35. nvgf
36. nvsf
37. nvgcl
38. nvcom
39. nvass
40. nvadd32
41. nvrcan
42. nvadd4
43. nvscl
44. nvsid
45. nvsass
46. nvscom
47. nvdi
48. nvdir
49. nv2
50. vsfval
51. nvzcl
52. nv0rid
53. nv0lid
54. nv0
55. nvsz
56. nvinv
57. nvinvfval
58. nvm
59. nvmval
60. nvmval2
61. nvmfval
62. nvmf
63. nvmcl
64. nvnnncan1
65. nvmdi
66. nvnegneg
67. nvmul0or
68. nvrinv
69. nvlinv
70. nvpncan2
71. nvpncan
72. nvaddsub
73. nvnpcan
74. nvaddsub4
75. nvmeq0
76. nvmid
77. nvf
78. nvcl
79. nvcli
80. nvs
81. nvsge0
82. nvm1
83. nvdif
84. nvpi
85. nvz0
86. nvz
87. nvtri
88. nvmtri
89. nvabs
90. nvge0
91. nvgt0
92. nv1
93. nvop