:: deftheorem defines GenFib FIB_NUM3:def 4 :
for a, b, n being Nat holds GenFib (a,b,n) = ((GenFib (a,b)) . n) `1 ;