Theorem List.IsZeckendorfRep_nil

Modification history

2024-05-13 07:14
Mathlib/Data/Nat/Fib/Zeckendorf.lean
feat: backport adaptations for nightly-2024-05-11 (#12854) …
Added List.IsZeckendorfRep_nilView on Github →