Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.fib_two

Modification history

2020-10-28 18:09
src/data/nat/fib.lean
feat(archive/imo): formalize IMO 1981 problem Q3 (#4599) …
Added nat.fib_twoView on Github →