Theorem Int.coe_fib_neg

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.coe_fib_negView on Github →