theorem proved term proof

`components_at_D3`

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

formal statement (Lean)

  91theorem components_at_D3 :
  92    passive_field_edges 3 = 11 ∧ cube_faces 3 = 6 := by

Term-mode proof.

  93  constructor <;> native_decide
  94
  95end WEndoForcing
  96end Physics
  97end IndisputableMonolith

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
cube_faces in IndisputableMonolith.Physics.PMNSCorrections decl_use