IndisputableMonolith.Foundation.PhiEmergence

declarations in this module (23)

• def IsSelfSimilar L23
• theorem phi_pos L26
• theorem phi_gt_one L29
• theorem phi_is_self_similar L34
• theorem phi_conjugate_self_similar L39
• theorem phi_conjugate_neg L48
• theorem phi_unique_positive L58
• def PhiLadder L83
• theorem phi_pow_pos L86
• theorem phi_ladder_ratio L90
• theorem phi_ladder_mul_closed L97
• theorem phi_ladder_div_closed L104
• theorem J_at_phi L114
• def J_at_phi_pow L118
• theorem J_at_phi_approx L122
• def H_ThresholdFromPhi L141
• theorem phi_inv_eq L146
• theorem phi_inv_pos L149
• theorem phi_inv_lt_one L154
• theorem phi_series_sum L161
• def IsStablePosition L198
• theorem phi_ladder_stable L202
• def H_StableIffPhiLadder L211