Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-03 02:24 0dc7a27c

View on Github →

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

Estimated changes

added theorem nat.fib_add
added theorem nat.fib_dvd
added theorem nat.fib_gcd
added theorem nat.gcd_fib_add_self