def definition def or abbrev

`sync_period`

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

formal statement (Lean)

 116def sync_period : ℕ := Nat.lcm eight_tick gap_45

Definition body.

 117
 118/-- Verify: lcm(8, 45) = 360. -/

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

gap45 in IndisputableMonolith.Cosmology.PerpetualComplexity decl_use
Gap45Frustration in IndisputableMonolith.Cosmology.PerpetualComplexity decl_use
sync_exceeds_both in IndisputableMonolith.Cosmology.PerpetualComplexity decl_use
sync_period_eq_360 in IndisputableMonolith.Cosmology.PerpetualComplexity decl_use
rotation_period in IndisputableMonolith.Foundation.DimensionForcing decl_use
RSCompatibleDimension in IndisputableMonolith.Foundation.DimensionForcing decl_use
sync_factorization in IndisputableMonolith.Foundation.DimensionForcing decl_use
sync_implies_D3 in IndisputableMonolith.Foundation.DimensionForcing decl_use
sync_period_eq_360 in IndisputableMonolith.Foundation.DimensionForcing decl_use
sync_prime_factorization in IndisputableMonolith.Foundation.DimensionForcing decl_use
Gap45Region in IndisputableMonolith.Foundation.Gap45Degeneracy decl_use
sync_period in IndisputableMonolith.Gap45.PhysicalMotivation decl_use
sync_period_is_360 in IndisputableMonolith.Gap45.PhysicalMotivation decl_use
r_ref_exact_gt_r in IndisputableMonolith.Gravity.RunningG decl_use

Lean names referenced from this declaration's body.

eight_tick in IndisputableMonolith.Foundation.DimensionForcing decl_use
gap_45 in IndisputableMonolith.Foundation.DimensionForcing decl_use
eight_tick in IndisputableMonolith.Gap45.PhysicalMotivation decl_use
sync_period in IndisputableMonolith.Gap45.PhysicalMotivation decl_use
eight_tick in IndisputableMonolith.RRF.Foundation.Constants decl_use
eight_tick in IndisputableMonolith.Thermodynamics.RecognitionThermodynamics decl_use