Theorem Int.fib_neg_natCast

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_neg_natCastView on Github →