Description: Ordering property for complex exponentiation. (Contributed by Mario Carneiro, 8-Sep-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cxpaddle.1 | |
|
cxpaddle.2 | |
||
cxpaddle.3 | |
||
cxpaddle.4 | |
||
cxpaddle.5 | |
||
cxpaddle.6 | |
||
Assertion | cxpaddle | |