Database
BASIC LINEAR ALGEBRA
Associative algebras
Definition and basic properties
casa

Next ⟩ casp

Metamath Proof Explorer

Ascii
Structured

Syntax definition casa

Description: Associative algebra.

		Ref	Expression
	Assertion	casa	class AssAlg