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