theorem proved term proof

`sync_prime_factorization`

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

formal statement (Lean)

 339theorem sync_prime_factorization : sync_period = 2^3 * 3^2 * 5 := by

Term-mode proof.

 340  unfold sync_period eight_tick gap_45; rfl
 341
 342/-- 360 degrees in a circle relates to SO(3). -/

Lean names referenced from this declaration's body.

eight_tick in IndisputableMonolith.Foundation.DimensionForcing decl_use
gap_45 in IndisputableMonolith.Foundation.DimensionForcing decl_use
sync_period 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