Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-30 11:45 9d589d7b

View on Github →

feat(data/nat/fib): add Fibonacci sequence (#1279)

Estimated changes

added def nat.fib
added theorem nat.fib_le_fib_succ
added theorem nat.fib_mono
added theorem nat.fib_one
added theorem nat.fib_pos
added theorem nat.fib_succ_succ
added theorem nat.fib_zero
added theorem nat.le_fib_self