theorem proved term proof

`row_top_charm_ratio`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  99theorem row_top_charm_ratio :
 100    Verification.top_quark_pred / Verification.charm_quark_pred =
 101      Constants.phi ^ (6 : ℕ) :=

Term-mode proof.

 102  Verification.top_charm_ratio
 103
 104/-- P0-Q06 structural row: top mass prediction lies in (10 GeV, 1 TeV). -/

From the project-wide theorem graph. These declarations reference this one in their body.

row_structural_top_charm_ratio_rpow in IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard decl_use
quarkScoreCardCert_holds in IndisputableMonolith.Masses.QuarkScoreCard decl_use

Lean names referenced from this declaration's body.