abbrev definition def or abbrev

`Position`

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

formal statement (Lean)

  32abbrev Position := ℝ

Definition body.

From the project-wide theorem graph. These declarations reference this one in their body.

p_neq_np_assembled in IndisputableMonolith.Complexity.PvsNPAssembly decl_use
w_mass_implies_ew_scale in IndisputableMonolith.Cosmology.WMassAnomalyStructure decl_use
ExternalPhaseField in IndisputableMonolith.Gravity.AcousticPhaseLevitation decl_use
ExternalPhaseField in IndisputableMonolith.Gravity.AcousticPhaseLevitation decl_use
ExtendedObject in IndisputableMonolith.Gravity.CoherenceFall decl_use
ProcessingField in IndisputableMonolith.Gravity.CoherenceFall decl_use
energy_creates_processing_gradient in IndisputableMonolith.Gravity.EnergyProcessingBridge decl_use
EnergyDistribution in IndisputableMonolith.Gravity.EnergyProcessingBridge decl_use
energy_distribution_creates_gravity_modifier in IndisputableMonolith.Gravity.EnergyProcessingBridge decl_use
gradient_superposition in IndisputableMonolith.Gravity.WeakFieldSuperposition decl_use
SuperpositionJustification in IndisputableMonolith.Gravity.WeakFieldSuperposition decl_use
LedgerEntry in IndisputableMonolith.QFT.CPTInvariance decl_use
NewtonianParticle in IndisputableMonolith.Quantum.ClassicalEmergence decl_use
PointerState in IndisputableMonolith.Quantum.ClassicalEmergence decl_use
pointer_states_are_neutral_windows in IndisputableMonolith.Quantum.PointerStates decl_use
preferredBasisExamples in IndisputableMonolith.Quantum.PointerStates decl_use