def definition def or abbrev

`gap_45`

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

formal statement (Lean)

 113def gap_45 : ℕ := 45

Definition body.

 114
 115/-- The synchronization period: lcm(8, 45) = 360. -/

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

gap_correction in IndisputableMonolith.Foundation.ConstantDerivations decl_use
gap_45_factorization in IndisputableMonolith.Foundation.DimensionForcing decl_use
gap_45_has_factor_9 in IndisputableMonolith.Foundation.DimensionForcing decl_use
sync_factorization in IndisputableMonolith.Foundation.DimensionForcing decl_use
sync_period 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
r_ref_exact_gt_r in IndisputableMonolith.Gravity.RunningG decl_use

Lean names referenced from this declaration's body.

period in IndisputableMonolith.Astrophysics.PulsarEmissionRegimesFromRS decl_use