Description: Part of proof of Lemma E in Crawley p. 113. Lemma leading to cdleme3fa and cdleme3 . (Contributed by NM, 6-Jun-2012)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cdleme1.l | |
|
cdleme1.j | |
||
cdleme1.m | |
||
cdleme1.a | |
||
cdleme1.h | |
||
cdleme1.u | |
||
cdleme1.f | |
||
Assertion | cdleme3b | |