Theorem Int.gcd_fib

Modification history

2025-11-26 13:56
Mathlib/Data/Int/Fib.lean
chore(Data/Int/Fib): add `fib_neg` (#32107) …
Added Int.gcd_fibView on Github →