def definition def or abbrev

`row_absolute_quark_bridge_residual`

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

formal statement (Lean)

 140def row_absolute_quark_bridge_residual : Prop :=

Definition body.

 141  QuarkAbsoluteMassResidual
 142

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

QuarkAbsoluteBridgeScoreCardCert in IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard decl_use
row_absolute_quark_bridge_residual_is_named in IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard decl_use

Lean names referenced from this declaration's body.

QuarkAbsoluteMassResidual in IndisputableMonolith.Masses.QuarkScoreCard decl_use