`SUSYBreakingFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.StandardModel.SupersymmetryBreaking
domain: StandardModel
line: 239 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.StandardModel.SupersymmetryBreaking on GitHub at line 239.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 236    1. Exact SUSY discovered (no breaking)
 237    2. Bosons and fermions have same J-cost
 238    3. 8-tick phase distinction is wrong -/
 239structure SUSYBreakingFalsifier where
 240  exact_susy_found : Prop
 241  same_jcost : Prop
 242  phase_wrong : Prop
 243  falsified : exact_susy_found → False
 244
 245end SupersymmetryBreaking
 246end StandardModel
 247end IndisputableMonolith

papers checked against this theorem

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