Metamath Proof Explorer


Syntax definition cend

Description: Token for the monoid of endomorphisms.

Ref Expression
Assertion cend Could not format assertion : No typesetting found for class End with typecode class