Description: Lemma for abelth . (Contributed by Mario Carneiro, 2-Apr-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | abelth.1 | |
|
abelth.2 | |
||
abelth.3 | |
||
abelth.4 | |
||
abelth.5 | |
||
abelth.6 | |
||
abelth.7 | |
||
abelthlem6.1 | |
||
Assertion | abelthlem6 | |