Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.le_fib_self

Modification history

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