Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.fib_one

Modification history

2019-07-30 11:45

src/data/nat/fib.lean

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

Added nat.fib_one View on Github →