lemma other other

`fib_5`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  59@[simp] lemma fib_5 : fib 5 = 8 := rfl

Lean names referenced from this declaration's body.

fib in IndisputableMonolith.Gap45.Derivation decl_use
fib in IndisputableMonolith.Mathematics.RamanujanBridge.ContinuedFractionPhi decl_use
fib in IndisputableMonolith.Mathematics.RamanujanBridge.ZeckendorfJCost decl_use