structure definition def or abbrev

`NewtonianParticle`

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

formal statement (Lean)

 170structure NewtonianParticle where
 171  /-- Position. -/
 172  x : ℝ
 173  /-- Velocity. -/
 174  v : ℝ
 175  /-- Mass. -/
 176  m : ℝ
 177
 178/-- F = ma emerges from the principle of least action.
 179    In RS: least action = minimum J-cost path. -/

depends on (15)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
Mass in IndisputableMonolith.Constants.RSNativeUnits decl_use
Velocity in IndisputableMonolith.Constants.RSNativeUnits decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
cost in IndisputableMonolith.Foundation.MultiplicativeRecognizerL4 decl_use
cost in IndisputableMonolith.Foundation.ObserverForcing decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
Position in IndisputableMonolith.Gravity.CoherenceFall decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
F in IndisputableMonolith.Physics.AnchorPolicy decl_use
F in IndisputableMonolith.Physics.LeptonGenerations.TauStepDerivation decl_use
F in IndisputableMonolith.Pipelines decl_use
emerges in IndisputableMonolith.RecogGeom.Comparative decl_use