def definition def or abbrev

`mondAcceleration`

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

formal statement (Lean)

 163noncomputable def mondAcceleration : ℝ := 1.2e-10  -- m/s²

proof body

Definition body.

 164
 165/-- The Tully-Fisher relation:
 166    L ∝ v⁴ (luminosity scales as 4th power of rotation velocity)
 167
 168    MOND predicts this naturally.
 169    CDM requires it to arise from galaxy formation. -/

depends on (11)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
power in IndisputableMonolith.Cosmology.PrimordialSpectrum decl_use
predicts in IndisputableMonolith.Decision.AbileneParadox decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
L in IndisputableMonolith.Recognition decl_use
L in IndisputableMonolith.Recognition.Cycle3 decl_use