theorem proved term proof

`solar_correction_eq`

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

formal statement (Lean)

 114theorem solar_correction_eq : solar_correction = 10 * alpha := by

proof body

Term-mode proof.

 115  unfold solar_correction solar_coefficient
 116  rfl
 117
 118/-! ## Derivation of the Coefficient 3/2 (Cabibbo) -/
 119
 120/-- The Cabibbo correction coefficient is faces / 4.
 121
 122    **Physical interpretation**: The quark sector's 3-generation torsion
 123    (φ⁻³ weight) couples via face-diagonal paths. The 6 faces divided by
 124    4 (the number of vertices per face, or equivalently the vertex-edge
 125    weight in the dual lattice) gives 3/2. -/

depends on (16)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
Physical in IndisputableMonolith.Bridge.DataCore decl_use
alpha in IndisputableMonolith.Constants.Alpha decl_use
or in IndisputableMonolith.Constants.EulerMascheroni decl_use
via in IndisputableMonolith.Derivations.MassToLight decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
correction in IndisputableMonolith.Information.QuantumChannelCapacityFromPhi decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
solar_coefficient in IndisputableMonolith.Physics.PMNSCorrections decl_use
solar_correction in IndisputableMonolith.Physics.PMNSCorrections decl_use