def definition def or abbrev

`eightTick`

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

formal statement (Lean)

  30def eightTick : ℕ := 8       -- 2^Dspatial

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

CardinalitySpectrumCert in IndisputableMonolith.CrossDomain.CardinalitySpectrum decl_use
eight_is_2cube in IndisputableMonolith.CrossDomain.CardinalitySpectrum decl_use
eightTick_eq in IndisputableMonolith.CrossDomain.CardinalitySpectrum decl_use
eleven_check in IndisputableMonolith.CrossDomain.CardinalitySpectrum decl_use
threeSixty_is_tick_gap in IndisputableMonolith.CrossDomain.CardinalitySpectrum decl_use

Lean names referenced from this declaration's body.