:: deftheorem Def5 defines Conv4 FINANCE6:def 3 :
for t being Real
for n being Nat holds
( ( n = 0 implies Conv4 (n,t) = - 1 ) & ( not n = 0 implies Conv4 (n,t) = Conv (n,t) ) );