IndisputableMonolith.Foundation.ConstantDerivations

declarations in this module (20)

• def J_bit L69
• theorem J_bit_pos L72
• def E_coh L76
• theorem E_coh_pos L79
• def period_8 L84
• def c_rs L102
• theorem c_rs_eq_one L105
• theorem c_pos L110
• def G_rs L146
• theorem G_rs_eq L149
• theorem G_pos L152
• theorem G_algebraic_in_ L157
• theorem G_ L161
• def gap_correction L176
• def planck_length_rs L218
• theorem planck_length_eq_one L221
• def planck_mass_rs L230
• theorem planck_mass_eq L233
• theorem all_constants_from_phi L270
• def derivation_narrative L303