Data.Nat.Fib

Properties of Fibonacci functions