:: deftheorem defines #N CLOPBAN3:def 8 :
for X being Complex_Banach_Algebra
for z being Element of X
for n being Nat holds z #N n = (z GeoSeq) . n;