Physics.Hadrons
IndisputableMonolith.Physics.Hadrons
No prose has been written for this declaration yet. The Lean source and graph data below render without it.
generate prose now
From the project-wide theorem graph. These declarations reference this one in their body.
IndisputableMonolith.Physics.ParticleSummary
Lean names referenced from this declaration's body.
IndisputableMonolith.Compat
IndisputableMonolith.Constants
IndisputableMonolith.RSBridge.Anchor
Hadron
composite_rung
hadron_mass
regge_mass_squared
ReggeSlopeCertificate
pdg_regge_slope_cert
pdg_regge_slope
hadron_equal_z_degenerate
regge_mass_squared_nonneg
regge_linearity