Theorem Nat.fastFibAux_eq

Modification history

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