Metamath Proof Explorer


Syntax definition cefmnd

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

Ref Expression
Assertion cefmnd Could not format assertion : No typesetting found for class EndoFMnd with typecode class