def definition def or abbrev

`top_quark_pred`

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

formal statement (Lean)

 361noncomputable def top_quark_pred : ℝ :=

Definition body.

 362  Constants.phi ^ (51 : ℕ) / 2000000
 363
 364/-- All structural quark mass predictions are positive. -/

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

QuarkAbsoluteBridgeScoreCardCert in IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard decl_use
row_structural_top_charm_ratio_rpow in IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard decl_use
row_top_charm_structural_anchor_agree in IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard decl_use
QuarkScoreCardCert in IndisputableMonolith.Masses.QuarkScoreCard decl_use
row_quark_preds_pos in IndisputableMonolith.Masses.QuarkScoreCard decl_use
row_top_charm_ratio in IndisputableMonolith.Masses.QuarkScoreCard decl_use
row_top_quark_in_band in IndisputableMonolith.Masses.QuarkScoreCard decl_use
row_top_charm in IndisputableMonolith.Masses.TopQuarkMassScoreCard decl_use
row_top_in_band_scorecard in IndisputableMonolith.Masses.TopQuarkMassScoreCard decl_use
row_top_order_MeV in IndisputableMonolith.Masses.TopQuarkMassScoreCard decl_use
row_top_pos in IndisputableMonolith.Masses.TopQuarkMassScoreCard decl_use
TopQuarkMassScoreCardCert in IndisputableMonolith.Masses.TopQuarkMassScoreCard decl_use
quark_preds_pos in IndisputableMonolith.Masses.Verification decl_use
top_charm_ratio in IndisputableMonolith.Masses.Verification decl_use
top_quark_pred_order in IndisputableMonolith.Masses.Verification decl_use

Lean names referenced from this declaration's body.