fib): add that `fib` is sum of `nat.choose` along antidiagonal (#12063)

Commit

3 years ago

feat(data/nat/fib): add that `fib` is sum of `nat.choose` along antidiagonal (#12063)

Author

kmill

Parents