IndisputableMonolith.Gap45.PhysicalMotivation

declarations in this module (31)

• def triangular L77
• theorem triangular_formula L80
• theorem triangular_rec_at_8 L84
• lemma triangular_0 L87
• lemma triangular_1 L90
• lemma triangular_2 L93
• lemma triangular_3 L96
• lemma triangular_4 L99
• lemma triangular_5 L102
• lemma triangular_8 L105
• theorem triangular_9_is_45 L108
• def eight_tick L113
• def closure_number L117
• theorem closure_number_eq_9 L120
• def cumulative_phase L129
• def phase_45 L132
• theorem gap_45_from_phase L138
• theorem gap_45_as_sum L141
• theorem triangular_9_via_formula L146
• def fibonacci_factor L149
• theorem nine_times_five L152
• theorem derivations_equivalent L159
• theorem physical_interpretation L167
• def sync_period L180
• theorem sync_period_is_360 L183
• theorem dimension_forcing L188
• def linear_phase_justification L207
• def fibonacci_connection_explained L228
• structure PhysicalDerivationCert L244
• def physical_derivation_cert L259
• def physical_motivation_report L272