Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.fib_pos

Modification history

2019-07-30 11:45
src/data/nat/fib.lean
feat(data/nat/fib): add Fibonacci sequence (#1279)
Added nat.fib_posView on Github →