Metamath Proof Explorer

Table of Contents - 11.2.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
50. zlmassa