Theorem Nat.fib_dvd

Modification history

2026-06-30 18:26
Mathlib/Data/Nat/Fib/Basic.lean
feat(Data/Nat/DivSequence): add divisibility sequences and strong divisibility sequences (#41204) …
Deleted Nat.fib_dvdView on Github →
2023-01-19 17:01
Mathlib/Data/Nat/Fib.lean
feat: port Data.Nat.Fib (#1644)
Added Nat.fib_dvdView on Github →