Metamath Proof Explorer

Table of Contents - 20.3.9.37. Vector Space Dimension

1. cldim
2. df-dim
3. dimval
4. dimvalfi
5. dimcl
6. lvecdim0i
7. lvecdim0
8. lssdimle
9. dimpropd
10. rgmoddim
11. frlmdim
12. tnglvec
13. tngdim
14. rrxdim
15. matdim
16. lbslsat
17. lsatdim
18. drngdimgt0
19. lmhmlvec2
20. kerlmhm
21. imlmhm
22. lindsunlem
23. lindsun
24. lbsdiflsp0
25. dimkerim
26. qusdimsum
27. fedgmullem1
28. fedgmullem2
29. fedgmul