Metamath Proof Explorer


Syntax definition cmend

Description: Syntax for module endomorphism algebra.

Ref Expression
Assertion cmend class MEndo