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









leanprover-community/mathlib,leanprover-community/mathlib