def definition def or abbrev

`D_physical`

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

formal statement (Lean)

 393def D_physical : Dimension := 3

Definition body.

 394
 395/-- D_physical is RS-compatible. -/

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

D_physical_compatible in IndisputableMonolith.Foundation.DimensionForcing decl_use
physical_eight_tick in IndisputableMonolith.Foundation.DimensionForcing decl_use
why_D_equals_3 in IndisputableMonolith.Foundation.DimensionForcing decl_use
three_generations_from_dimension in IndisputableMonolith.Foundation.ParticleGenerations decl_use
three_colors_forced in IndisputableMonolith.Foundation.QuarkColors decl_use
not_1_2_signature in IndisputableMonolith.Unification.SpacetimeEmergence decl_use
not_1_4_signature in IndisputableMonolith.Unification.SpacetimeEmergence decl_use
spacetime_dim_eq_four in IndisputableMonolith.Unification.SpacetimeEmergence decl_use
spatial_dim in IndisputableMonolith.Unification.SpacetimeEmergence decl_use

Lean names referenced from this declaration's body.

compatible in IndisputableMonolith.Complexity.SAT.Backprop decl_use
Dimension in IndisputableMonolith.Constants.Dimensions decl_use
Dimension in IndisputableMonolith.Foundation.DimensionForcing decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use