lemma other other

`fib_4`

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

formal statement (Lean)

  58@[simp] lemma fib_4 : fib 4 = 5 := 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