Description: Value of a complex number raised to a nonpositive integer power. When A = 0 and N is nonzero, both sides have the "value" ( 1 / 0 ) ; relying on that should be avoid in applications. (Contributed by Mario Carneiro, 4-Jun-2014)
Ref | Expression | ||
---|---|---|---|
Assertion | expneg2 |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | negneg | ||
2 | 1 | 3ad2ant2 | |
3 | 2 | oveq2d | |
4 | expneg | ||
5 | 4 | 3adant2 | |
6 | 3 5 | eqtr3d |