Metamath Proof Explorer


Syntax definition cefmnd

Description: Extend class notation to include the class of monoids of endofunctions.

Ref Expression
Assertion cefmnd class EndoFMnd