Metamath Proof Explorer

Syntax definition cend

Description: Token for the monoid of endomorphisms.

Ref Expression
Assertion cend 
class End