def definition def or abbrev

`isSpatial`

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

formal statement (Lean)

  59def isSpatial (μ : SpacetimeIndex) : Bool := μ ≠ 0

Definition body.

  60
  61/-- Kronecker delta for indices. -/

Lean names referenced from this declaration's body.

delta in IndisputableMonolith.Cost.Ndim.Connections decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
SpacetimeIndex in IndisputableMonolith.Relativity.Geometry.Manifold decl_use