Theorem Nat.zeckendorf_succ

Modification history

2024-05-13 07:14
Mathlib/Data/Nat/Fib/Zeckendorf.lean
feat: backport adaptations for nightly-2024-05-11 (#12854) …
Modified Nat.zeckendorf_succView on Github →
2023-09-22 08:17
Mathlib/Data/Nat/Fib/Zeckendorf.lean
feat: Zeckendorf's theorem (#6880) …
Added Nat.zeckendorf_succView on Github →