Database
BASIC LINEAR ALGEBRA
Associative algebras
Definition and basic properties
casp

Next ⟩ cascl

Metamath Proof Explorer

Unicode
Structured

Syntax definition casp

Description: Algebraic span function.

		Ref	Expression
	Assertion	casp	class AlgSpan