theorem proved term proof

`W_decomposition`

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

formal statement (Lean)

  87theorem W_decomposition :
  88    W_endo 3 = passive_field_edges 3 + cube_faces 3 := rfl

Term-mode proof.

  89
  90/-- Verify the components. -/

Lean names referenced from this declaration's body.

cube_faces in IndisputableMonolith.Constants.AlphaDerivation decl_use
passive_field_edges in IndisputableMonolith.Constants.AlphaDerivation decl_use
cube_faces in IndisputableMonolith.Constants.PlanckScaleMatching decl_use
W_endo in IndisputableMonolith.Masses.BaselineDerivation decl_use
cube_faces in IndisputableMonolith.Physics.PMNSCorrections decl_use
W_endo in IndisputableMonolith.Physics.WEndoForcing decl_use