Description: Part of proof of Lemma H of Crawley p. 118. (Contributed by NM, 16-Jun-2013)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cdlemh.b | |
|
cdlemh.l | |
||
cdlemh.j | |
||
cdlemh.m | |
||
cdlemh.a | |
||
cdlemh.h | |
||
cdlemh.t | |
||
cdlemh.r | |
||
cdlemh.s | |
||
cdlemh.z | |
||
Assertion | cdlemh2 | |