Metamath Proof Explorer

Table of Contents - 20.25.9. Opposite rings and dual vector spaces

1. cld
2. df-ldual
3. ldualset
4. ldualvbase
5. ldualelvbase
6. ldualfvadd
7. ldualvadd
8. ldualvaddcl
9. ldualvaddval
10. ldualsca
11. ldualsbase
12. ldualsaddN
13. ldualsmul
14. ldualfvs
15. ldualvs
16. ldualvsval
17. ldualvscl
18. ldualvaddcom
19. ldualvsass
20. ldualvsass2
21. ldualvsdi1
22. ldualvsdi2
23. ldualgrplem
24. ldualgrp
25. ldual0
26. ldual1
27. ldualneg
28. ldual0v
29. ldual0vcl
30. lduallmodlem
31. lduallmod
32. lduallvec
33. ldualvsub
34. ldualvsubcl
35. ldualvsubval
36. ldualssvscl
37. ldualssvsubcl
38. ldual0vs
39. lkr0f2
40. lduallkr3
41. lkrpssN
42. lkrin
43. eqlkr4
44. ldual1dim
45. ldualkrsc
46. lkrss
47. lkrss2N
48. lkreqN
49. lkrlspeqN