IndisputableMonolith.Gravity.SevenGaps.Gap5MomentumBridgeHostileProbe

declarations in this module (15)

• theorem probe_package_at_two L29
• theorem probe_kinetic_iff_unit L33
• theorem probe_kinetic_fails_at_two L37
• theorem probe_eec_fails_at_two L41
• theorem probe_kinetic_holds_at_one L45
• theorem probe_wall L49
• theorem probe_exhibited_pair L62
• theorem probe_sign_wall L70
• theorem probe_neg_one_is_neg_imbalance L78
• theorem probe_neg_one_ne_imbalance_at_unit_debit L83
• theorem probe_stipulated_matches_derived L93
• theorem probe_chart_product_on_imbalance L103
• theorem probe_lam_sq_at_ground_from_bridge L115
• theorem probe_constants_cluster L123
• theorem probe_cKin_k_dependence L132