lemma other other

`fib_3`

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

formal statement (Lean)

  57@[simp] lemma fib_3 : fib 3 = 3 := 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