IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard

declarations in this module (16)

• theorem row_structural_charm_up_ratio_rpow L50
• theorem row_structural_top_charm_ratio_rpow L55
• theorem row_anchor_charm_up_ratio_exp L61
• theorem row_anchor_top_charm_ratio_exp L71
• theorem row_anchor_charm_up_ratio_rpow L81
• theorem row_anchor_top_charm_ratio_rpow L87
• theorem row_anchor_strange_down_ratio_exp L93
• theorem row_anchor_bottom_strange_ratio_exp L103
• theorem row_anchor_strange_down_ratio_rpow L113
• theorem row_anchor_bottom_strange_ratio_rpow L119
• theorem row_charm_up_structural_anchor_agree L127
• theorem row_top_charm_structural_anchor_agree L132
• def row_absolute_quark_bridge_residual L140
• theorem row_absolute_quark_bridge_residual_is_named L143
• structure QuarkAbsoluteBridgeScoreCardCert L146
• theorem quarkAbsoluteBridgeScoreCardCert_holds L160