No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
101theorem weak_mixing_phi_based : bestPrediction = (3 - phi) / 6 := by
proof body
Term-mode proof.
102 unfold bestPrediction prediction3
103 rfl
104
105/-! ## C-014: Structural Origins -/
106
107/-- The geometric factors that determine all three couplings:
108
109 1. α: 4π·11 = 44π (cube passive edges)
110 2. α_s: 2/17 = 2/W (wallpaper groups)
111 3. sin²θ_w: 3/8 (SU(2) generators / total generators) -/
depends on (12)
Lean names referenced from this declaration's body.
-
all
in IndisputableMonolith.Aesthetics.NarrativeGeodesic
decl_use
-
all
in IndisputableMonolith.Anthropology.KinshipGraphCohomology
decl_use
-
all
in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy
decl_use
-
W
in IndisputableMonolith.Masses.Anchor
decl_use
-
all
in IndisputableMonolith.Musicology.ModalPreferenceFromPhi
decl_use
-
total
in IndisputableMonolith.NavierStokes.DiscreteVorticity
decl_use
-
that
in IndisputableMonolith.NumberTheory.PhiLadderLattice
decl_use
-
total
in IndisputableMonolith.NumberTheory.RiemannHypothesis.ErrorBudget
decl_use
-
W
in IndisputableMonolith.Physics.LeptonGenerations.TauStepDerivation
decl_use
-
W
in IndisputableMonolith.Physics.MassTopology
decl_use
-
bestPrediction
in IndisputableMonolith.StandardModel.WeinbergAngle
decl_use
-
prediction3
in IndisputableMonolith.StandardModel.WeinbergAngle
decl_use