Metamath Proof Explorer

Table of Contents - 20.31.47. Endomorphism algebra

1. cmend
2. df-mend
3. algstr
4. algbase
5. algaddg
6. algmulr
7. algsca
8. algvsca
9. mendval
10. mendbas
11. mendplusgfval
12. mendplusg
13. mendmulrfval
14. mendmulr
15. mendsca
16. mendvscafval
17. mendvsca
18. mendring
19. mendlmod
20. mendassa