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. 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