`quarkAbsoluteBridgeScoreCardCert_holds`

proved

show as: view math explainer →

module: IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard
domain: Masses
line: 160 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard on GitHub at line 160.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 157  residual_named :
 158    row_absolute_quark_bridge_residual = QuarkAbsoluteMassResidual
 159
 160theorem quarkAbsoluteBridgeScoreCardCert_holds :
 161    Nonempty QuarkAbsoluteBridgeScoreCardCert :=
 162  ⟨{ charm_up_ratio_agrees := row_charm_up_structural_anchor_agree
 163     top_charm_ratio_agrees := row_top_charm_structural_anchor_agree
 164     strange_down_anchor_ratio := row_anchor_strange_down_ratio_rpow
 165     bottom_strange_anchor_ratio := row_anchor_bottom_strange_ratio_rpow
 166     residual_named := row_absolute_quark_bridge_residual_is_named }⟩
 167
 168end
 169
 170end IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.