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. isassad
   16. issubassa3
   17. issubassa
   18. sraassa
   19. rlmassa
   20. assapropd
   21. aspval
   22. asplss
   23. aspid
   24. aspsubrg
   25. aspss
   26. aspssid
   27. asclfval
   28. asclval
   29. asclfn
   30. asclf
   31. asclghm
   32. ascl0
   33. ascl1
   34. asclmul1
   35. asclmul2
   36. ascldimul
   37. ascldimulOLD
   38. asclinvg
   39. asclrhm
   40. rnascl
   41. issubassa2
   42. rnasclsubrg
   43. rnasclmulcl
   44. rnasclassa
   45. ressascl
   46. asclpropd
   47. aspval2
   48. assamulgscmlem1
   49. assamulgscmlem2
   50. assamulgscm
   51. zlmassa