Metamath Proof Explorer

Table of Contents - 21.3.10.54. Vector Space Dimension

1. cldim
2. df-dim
3. dimval
4. dimvalfi
5. dimcl
6. lmimdim
7. lmicdim
8. lvecdim0i
9. lvecdim0
10. lssdimle
11. dimpropd
12. rlmdim
13. frlmdim
14. tnglvec
15. tngdim
16. rrxdim
17. matdim
18. lbslsat
19. lsatdim
20. drngdimgt0
21. lmhmlvec2
22. kerlmhm
23. imlmhm
24. ply1degltdimlem
25. ply1degltdim
26. lindsunlem
27. lindsun
28. lbsdiflsp0
29. dimkerim
30. qusdimsum
31. fedgmullem1
32. fedgmullem2
33. fedgmul
34. dimlssid
35. lvecendof1f1o
36. lactlmhm
37. assalactf1o
38. assarrginv
39. assafld