Theorem Nat.sum_zeckendorf_fib

Modification history

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