Database
BASIC ALGEBRAIC STRUCTURES
Monoids
Free monoids
Monoid of endofunctions
cefmnd
Next ⟩
df-efmnd
Metamath Proof Explorer
Ascii
Unicode
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