Theorem Nat.fib_eq_fastFib

Modification history

2026-02-04 00:38
Mathlib/Data/Nat/Fib/Basic.lean
chore(Nat/Fib/Basic): fix names and `csimp` (#34810) …
Added Nat.fib_eq_fastFibView on Github →