def definition def or abbrev

`cycleLength`

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

formal statement (Lean)

 183def cycleLength : ℕ := 8

Definition body.

 184
 185/-- Mass-accumulation ticks in one cycle. -/

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

ml_is_derived_not_input in IndisputableMonolith.Derivations.MassToLight decl_use
phase_ratio_from_topology in IndisputableMonolith.Derivations.MassToLight decl_use
ledger_structure_unique in IndisputableMonolith.Meta.LedgerUniqueness decl_use
RSLedger in IndisputableMonolith.Meta.LedgerUniqueness decl_use

Lean names referenced from this declaration's body.