Description: Lemma for ftc1anc . (Contributed by Brendan Leahy, 29-May-2018)
Ref | Expression | ||
---|---|---|---|
Hypotheses | ftc1anc.g | |
|
ftc1anc.a | |
||
ftc1anc.b | |
||
ftc1anc.le | |
||
ftc1anc.s | |
||
ftc1anc.d | |
||
ftc1anc.i | |
||
ftc1anc.f | |
||
Assertion | ftc1anclem8 | |