Description: The center of a group is the same as the center of the opposite group. (Contributed by Mario Carneiro, 21-Apr-2016)
Ref | Expression | ||
---|---|---|---|
Hypotheses | oppggic.o | |
|
oppgcntr.z | |
||
Assertion | oppgcntr | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | oppggic.o | |
|
2 | oppgcntr.z | |
|
3 | eqid | |
|
4 | 1 3 | oppgcntz | |
5 | eqid | |
|
6 | 5 3 | cntrval | |
7 | 6 2 | eqtr4i | |
8 | 1 5 | oppgbas | |
9 | eqid | |
|
10 | 8 9 | cntrval | |
11 | 4 7 10 | 3eqtr3i | |