Theorem Int.fib_neg

Modification history

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