lemma other other

`fib_0`

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

formal statement (Lean)

  54@[simp] lemma fib_0 : fib 0 = 1 := 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