Description: Part of proof of Lemma K of Crawley p. 118. Line 6, p. 120. G , I stand for g, h. X represents tau. (Contributed by NM, 23-Jul-2013)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cdlemk5.b | |
|
cdlemk5.l | |
||
cdlemk5.j | |
||
cdlemk5.m | |
||
cdlemk5.a | |
||
cdlemk5.h | |
||
cdlemk5.t | |
||
cdlemk5.r | |
||
cdlemk5.z | |
||
cdlemk5.y | |
||
cdlemk5.x | |
||
Assertion | cdlemk52 | |