def definition def or abbrev

`nu_0_ising`

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

formal statement (Lean)

  65def nu_0_ising : ℝ := 1 / phi

proof body

Definition body.

  66
  67/-- The η values across O(N) are remarkably stable (~0.036-0.038).
  68    RS interpretation: η is determined primarily by the Q₃ cube geometry,
  69    which is independent of the spin symmetry group. -/

depends on (11)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
independent in IndisputableMonolith.ClassicalBridge.Fluids.LNALSemantics decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
independent in IndisputableMonolith.Foundation.RSCoupledAxis 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
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use