Step |
Hyp |
Ref |
Expression |
1 |
|
mapdh.q |
|
2 |
|
mapdh.i |
|
3 |
|
mapdh.h |
|
4 |
|
mapdh.m |
|
5 |
|
mapdh.u |
|
6 |
|
mapdh.v |
|
7 |
|
mapdh.s |
|
8 |
|
mapdhc.o |
|
9 |
|
mapdh.n |
|
10 |
|
mapdh.c |
|
11 |
|
mapdh.d |
|
12 |
|
mapdh.r |
|
13 |
|
mapdh.j |
|
14 |
|
mapdh.k |
|
15 |
|
mapdhc.f |
|
16 |
|
mapdh.mn |
|
17 |
|
mapdhcl.x |
|
18 |
|
mapdh.p |
|
19 |
|
mapdh.a |
|
20 |
|
mapdh6b0.y |
|
21 |
|
mapdh6b0.z |
|
22 |
|
mapdh6b0.ne |
|
23 |
|
eqid |
|
24 |
3 5 14
|
dvhlvec |
|
25 |
3 5 14
|
dvhlmod |
|
26 |
6 23 9 25 20 21
|
lspprcl |
|
27 |
6 8 9 23 24 26 17
|
lspdisjb |
|
28 |
22 27
|
mpbird |
|