def definition def or abbrev

`canonicalSpan`

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

formal statement (Lean)

  25def canonicalSpan : ℕ := 7

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

canonicalSpan_eq in IndisputableMonolith.CrossDomain.WorkingMemoryFromCube decl_use
miller_bracket in IndisputableMonolith.CrossDomain.WorkingMemoryFromCube decl_use
super_normal_jump in IndisputableMonolith.CrossDomain.WorkingMemoryFromCube decl_use
WorkingMemoryFromCubeCert in IndisputableMonolith.CrossDomain.WorkingMemoryFromCube decl_use