Theorem Int.fib_gcd

Modification history

2026-07-15 16:59
Mathlib/Data/Int/Fib/Basic.lean
chore: delete deprecated declarations to the end of 2025 (#41178) …
Deleted Int.fib_gcdView on Github →
2025-12-11 08:08
Mathlib/Data/Int/Fib/Basic.lean
chore: add missing deprecations (#32705) …
Added Int.fib_gcdView on Github →
2025-11-26 13:56
Mathlib/Data/Int/Fib.lean
chore(Data/Int/Fib): add `fib_neg` (#32107) …
Deleted Int.fib_gcdView on Github →
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_gcdView on Github →