Metamath Proof Explorer

Table of Contents - 20.16.9. Monoid of endomorphisms

1. cend
2. df-bj-end
3. bj-endval
4. bj-endbase
5. bj-endcomp
6. bj-endmnd