Database
BASIC LINEAR ALGEBRA
Associative algebras
Definition and basic properties
casa

Next ⟩ casp

Metamath Proof Explorer

Unicode
Structured

Syntax definition casa

Description: Associative algebra.

		Ref	Expression
	Assertion	casa	class AssAlg