Step |
Hyp |
Ref |
Expression |
0 |
|
cgzr |
|
1 |
|
vu |
|
2 |
|
cfmla |
|
3 |
|
com |
|
4 |
3 2
|
cfv |
|
5 |
|
c3o |
|
6 |
|
c1o |
|
7 |
|
c2o |
|
8 |
1
|
cv |
|
9 |
8 6
|
cgol |
|
10 |
|
cgoi |
|
11 |
|
cgoq |
|
12 |
7 6 11
|
co |
|
13 |
9 12 10
|
co |
|
14 |
13 7
|
cgol |
|
15 |
14 6
|
cgox |
|
16 |
15 5
|
cgol |
|
17 |
|
cgoe |
|
18 |
7 6 17
|
co |
|
19 |
|
cgob |
|
20 |
|
c0 |
|
21 |
5 20 17
|
co |
|
22 |
|
cgoa |
|
23 |
21 9 22
|
co |
|
24 |
23 5
|
cgox |
|
25 |
18 24 19
|
co |
|
26 |
25 7
|
cgol |
|
27 |
26 6
|
cgol |
|
28 |
16 27 10
|
co |
|
29 |
1 4 28
|
cmpt |
|
30 |
0 29
|
wceq |
|