Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Endomorphism algebra
cmend
Next ⟩
df-mend
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmend
Description:
Syntax for module endomorphism algebra.
Ref
Expression
Assertion
cmend
class
MEndo