Database
BASIC LINEAR ALGEBRA
Associative algebras
Definition and basic properties
cascl
Next ⟩
df-assa
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cascl
Description:
Class of algebra scalar injection function.
Ref
Expression
Assertion
cascl
class
algSc