`pionMultiplet`

definition

show as: view math explainer →

module: IndisputableMonolith.Physics.PionMasses
domain: Physics
line: 193 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.PionMasses on GitHub at line 193.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

tick IndisputableMonolith.Constants
tick IndisputableMonolith.Constants.RSNativeUnits

formal source

 190def pionParity : Int := -1
 191
 192/-- The pion triplet (π⁺, π⁰, π⁻) has 3 members. -/
 193def pionMultiplet : ℕ := 3
 194
 195/-- 3 relates to 8-tick: 8 mod 5 = 3. -/
 196theorem pion_triplet_mod : 8 % 5 = 3 := by native_decide
 197
 198end
 199
 200end PionMasses
 201end Physics
 202end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.