Database
BASIC ALGEBRAIC STRUCTURES
Associative algebras
Definition and basic properties
casp
Next ⟩
cascl
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
casp
Description:
Algebraic span function.
Ref
Expression
Assertion
casp
class
AlgSpan