:: deftheorem defines |^ COMSEQ_3:def 2 :
for z being Complex
for n being Nat holds z |^ n = (z GeoSeq) . n;