Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Linear algebra (extension)
The subalgebras of diagonal and scalar matrices (extension)
cdmatalt

Next ⟩ cscmatalt

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cdmatalt

Description: Alternative notation for the algebra of diagonal matrices.

		Ref	Expression
	Assertion	cdmatalt	$class DMatALT$