Theorem Nat.fastFibAux_bit_false

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