Metamath Proof Explorer

Table of Contents - 10.2.8. Centralizers and centers

1. ccntz
2. ccntr
3. df-cntz
4. df-cntr
5. cntrval
6. cntzfval
7. cntzval
8. elcntz
9. cntzel
10. cntzsnval
11. elcntzsn
12. sscntz
13. cntzrcl
14. cntzssv
15. cntzi
16. cntrss
17. cntri
18. resscntz
19. cntz2ss
20. cntzrec
21. cntziinsn
22. cntzsubm
23. cntzsubg
24. cntzidss
25. cntzmhm
26. cntzmhm2
27. cntrsubgnsg
28. cntrnsg