Theorem Nat.isDvdSequence_fib

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) …

Added Nat.isDvdSequence_fib View on Github →