Metamath Proof Explorer

Table of Contents - 10.8. 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. asclmul1
   34. asclmul2
   35. ascldimul
   36. ascldimulOLD
   37. asclinvg
   38. asclrhm
   39. rnascl
   40. issubassa2
   41. rnasclsubrg
   42. rnasclmulcl
   43. rnasclassa
   44. ressascl
   45. asclpropd
   46. aspval2
   47. assamulgscmlem1
   48. assamulgscmlem2
   49. assamulgscm