Metamath Proof Explorer

Table of Contents - 11.2. Associative algebras

1. Definition and basic properties
   1. casa
   2. casp
   3. cascl
   4. df-assa
   5. df-asp
   6. df-ascl
   7. isassa
   8. assalem
   9. assaass
   10. assaassr
   11. assalmod
   12. assaring
   13. assasca
   14. assa2ass
   15. assa2ass2
   16. isassad
   17. issubassa3
   18. issubassa
   19. sraassab
   20. sraassa
   21. rlmassa
   22. assapropd
   23. aspval
   24. asplss
   25. aspid
   26. aspsubrg
   27. aspss
   28. aspssid
   29. asclfval
   30. asclval
   31. asclfn
   32. asclf
   33. asclghm
   34. asclelbas
   35. ascl0
   36. ascl1
   37. asclmul1
   38. asclmul2
   39. ascldimul
   40. asclinvg
   41. asclrhm
   42. rnascl
   43. issubassa2
   44. rnasclsubrg
   45. rnasclmulcl
   46. rnasclassa
   47. ressascl
   48. asclpropd
   49. aspval2
   50. assamulgscmlem1
   51. assamulgscmlem2
   52. assamulgscm
   53. asclmulg
   54. zlmassa