fib): sum of initial fragment of the Fibonacci sequence is one less than a Fibonacci number (#12416)

Commit

3 years ago

feat(data/nat/fib): sum of initial fragment of the Fibonacci sequence is one less than a Fibonacci number (#12416)

Author

meithecatte

Parents