Support.PhiApprox
IndisputableMonolith.Support.PhiApprox
No prose has been written for this declaration yet. The Lean source and graph data below render without it.
generate prose now
Lean names referenced from this declaration's body.
IndisputableMonolith.Constants
sqrt5_gt_2_2
sqrt5_lt_2_4
phi_gt_1_6
phi_lt_1_7
phi_bounds_stub