Theorem Int.fib_two_mul_add_one_eq_natFib_natAbs

Modification history

2025-11-25 16:28
Mathlib/Data/Int/Fib.lean
feat(Data/Int): define `Int.fib`, the Fibonacci numbers on the integers (#30936) …
Added Int.fib_two_mul_add_one_eq_natFib_natAbsView on Github →