Theorem Nat.zeckendorf_zero

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_zeroView on Github →
2023-09-22 08:17
Mathlib/Data/Nat/Fib/Zeckendorf.lean
feat: Zeckendorf's theorem (#6880) …
Added Nat.zeckendorf_zeroView on Github →