Metamath Proof Explorer

Table of Contents - 21.52.14. Associative algebras

1. Definition and basic properties
   1. asclelbasALT
   2. asclcntr
   3. asclcom