mathlib

0dc7a27c - feat(data/nat/fib): fib n is a strong divisibility sequence (#5555)

feat(data/nat/fib): fib n is a strong divisibility sequence (#5555) Co-authored-by: Hanting Zhang <hantingzhang03@gmail.com> Co-authored-by: Hanting Zhang <76727734+acxxa@users.noreply.github.com>