Theorem Int.fib_two_mul_add_one_pos

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