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