`longitudinalVectorScatteringCert_inhabited`

proved

show as: view math explainer →

module: IndisputableMonolith.StandardModel.LongitudinalVectorScattering
domain: StandardModel
line: 193 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.StandardModel.LongitudinalVectorScattering on GitHub at line 193.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 190  rs_implies_bounded  := fun a_g a_RS v h =>
 191    amplitude_bounded_under_SM_hypothesis a_g a_RS v h
 192
 193theorem longitudinalVectorScatteringCert_inhabited :
 194    Nonempty LongitudinalVectorScatteringCert :=
 195  ⟨longitudinalVectorScatteringCert⟩
 196
 197end
 198
 199end LongitudinalVectorScattering
 200end StandardModel
 201end IndisputableMonolith

papers checked against this theorem

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