Description: Part of proof of Lemma E in Crawley p. 115. (Contributed by NM, 28-Nov-2012)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cdleme21.l | |
|
cdleme21.j | |
||
cdleme21.m | |
||
cdleme21.a | |
||
cdleme21.h | |
||
cdleme21.u | |
||
Assertion | cdleme21c | |