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. ascl1
  34. asclmul1
  35. asclmul2
  36. ascldimul
  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