No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
59def weakRange_fm : ℝ := hbar_c_GeV_fm / wBosonMass_GeV
proof body
Definition body.
60
61/-! ## SU(2) Structure -/
62
63/-- Number of SU(2) generators. -/
used by (1)
From the project-wide theorem graph. These declarations reference this one in their body.
depends on (8)
Lean names referenced from this declaration's body.
-
of
in IndisputableMonolith.Astrophysics.NucleosynthesisTiers
decl_use
-
Structure
in IndisputableMonolith.Chemistry.CrystalStructure
decl_use
-
of
in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization
decl_use
-
of
in IndisputableMonolith.Foundation.PhiForcingDerived
decl_use
-
of
in IndisputableMonolith.Foundation.SpectralEmergence
decl_use
-
of
in IndisputableMonolith.Information.PhysicsComplexityStructure
decl_use
-
wBosonMass_GeV
in IndisputableMonolith.Physics.ElectroweakBosons
decl_use
-
hbar_c_GeV_fm
in IndisputableMonolith.Physics.WeakForceEmergence
decl_use