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. sraassaOLD
   22. rlmassa
   23. assapropd
   24. aspval
   25. asplss
   26. aspid
   27. aspsubrg
   28. aspss
   29. aspssid
   30. asclfval
   31. asclval
   32. asclfn
   33. asclf
   34. asclghm
   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