Description: Lemma N of Crawley p. 121 line 27. (Contributed by NM, 27-Feb-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cdlemn11.b | |
|
cdlemn11.l | |
||
cdlemn11.j | |
||
cdlemn11.a | |
||
cdlemn11.h | |
||
cdlemn11.i | |
||
cdlemn11.J | |
||
cdlemn11.u | |
||
cdlemn11.s | |
||
Assertion | cdlemn | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | cdlemn11.b | |
|
2 | cdlemn11.l | |
|
3 | cdlemn11.j | |
|
4 | cdlemn11.a | |
|
5 | cdlemn11.h | |
|
6 | cdlemn11.i | |
|
7 | cdlemn11.J | |
|
8 | cdlemn11.u | |
|
9 | cdlemn11.s | |
|
10 | 1 2 3 4 5 8 9 6 7 | cdlemn5 | |
11 | 10 | 3expia | |
12 | 1 2 3 4 5 6 7 8 9 | cdlemn11 | |
13 | 12 | 3expia | |
14 | 11 13 | impbid | |