lemma
proved
term proof
fib_6
No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
60@[simp] lemma fib_6 : fib 6 = 13 := rfl
proof body
Term-mode proof.
61
62/-- Fibonacci(4) = 5 -/
depends on (3)
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