IndisputableMonolith.Foundation.DAlembert.AnalyticBridge

declarations in this module (24)

• def G_of L47
• def H_of L50
• theorem log_consistency L55
• theorem G_zero L71
• theorem Q_boundary_v L75
• theorem Q_boundary_u L88
• lemma separable_forces_additive L133
• theorem separable_forces_flat_ode L157
• theorem entangling_forces_hyperbolic_ode L227
• theorem flat_ode_unique L279
• theorem hyperbolic_ode_unique L352
• theorem even_function_deriv_zero L438
• theorem separable_combiner_forces_flat L462
• theorem entangling_combiner_forces_hyperbolic L496
• theorem differentiation_key_lemma L524
• theorem entangling_with_boundary_is_RCL L556
• theorem analytic_bridge L621
• theorem analytic_bridge_full L650
• theorem Jcost_satisfies_dAlembert L667
• theorem F_forced_to_Jcost L691
• theorem P_forced_to_RCL L731
• theorem full_inevitability L763
• theorem gates_connected L787
• theorem Jcost_has_RCL_combiner L798