Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for BJ
Monoid of endomorphisms
Next ⟩
cend
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 20.16.9. Monoid of endomorphisms
cend
df-bj-end
bj-endval
bj-endbase
bj-endcomp
bj-endmnd