Metamath Proof Explorer

Table of Contents - 10.6. Vector spaces

1. Definition and basic properties
   1. clvec
   2. df-lvec
   3. islvec
   4. lvecdrng
   5. lveclmod
   6. lveclmodd
   7. lvecgrpd
   8. lsslvec
   9. lmhmlvec
   10. lvecvs0or
   11. lvecvsn0
   12. lssvs0or
   13. lvecvscan
   14. lvecvscan2
   15. lvecinv
   16. lspsnvs
   17. lspsneleq
   18. lspsncmp
   19. lspsnne1
   20. lspsnne2
   21. lspsnnecom
   22. lspabs2
   23. lspabs3
   24. lspsneq
   25. lspsneu
   26. ellspsn4
   27. lspdisj
   28. lspdisjb
   29. lspdisj2
   30. lspfixed
   31. lspexch
   32. lspexchn1
   33. lspexchn2
   34. lspindpi
   35. lspindp1
   36. lspindp2l
   37. lspindp2
   38. lspindp3
   39. lspindp4
   40. lvecindp
   41. lvecindp2
   42. lspsnsubn0
   43. lsmcv
   44. lspsolvlem
   45. lspsolv
   46. lssacsex
   47. lspsnat
   48. lspsncv0
   49. lsppratlem1
   50. lsppratlem2
   51. lsppratlem3
   52. lsppratlem4
   53. lsppratlem5
   54. lsppratlem6
   55. lspprat
   56. islbs2
   57. islbs3
   58. lbsacsbs
   59. lvecdim
   60. lbsextlem1
   61. lbsextlem2
   62. lbsextlem3
   63. lbsextlem4
   64. lbsextg
   65. lbsext
   66. lbsexg
   67. lbsex
   68. lvecprop2d
   69. lvecpropd