phenomenon 111.17 The universe is made of matter

Rests on

• depends_on equation 105.105 eq:cpt-eta-formula ¶
• depends_on theorem 105.36 Equal masses ¶
  • depends_on definition 105.33 The $CPT$ operator ¶
  • depends_on equation 105.26 eq:cpt-antiunitary-sandwich ¶
  • depends_on theorem 105.34 $CPT$ ¶
    • depends_on definition 39.5 Orthochronous Lorentz group ¶
      • depends_on definition 39.1 Lorentz group ¶
        • depends_on definition 38.6 Minkowski metric and interval ¶
      • depends_on equation 39.3 eq:mink-noncompact ¶
        • step_from equation 39.2 eq:mink-lorentz-condition ¶
    • depends_on equation 100.2 eq:qed-action ¶
    • depends_on lemma 105.35 Every Lorentz index costs a sign ¶
      • depends_on equation 105.17 eq:cpt-C-photon ¶
      • depends_on equation 105.6 eq:cpt-P-photon ¶
      • depends_on equation 105.30 eq:cpt-T-photon ¶
      • proves proof ch:07-discrete-symmetries-cpt@proof-26 ¶
    • proves proof ch:07-discrete-symmetries-cpt@proof-27 ¶
  • proves proof ch:07-discrete-symmetries-cpt@proof-28 ¶
• depends_on theorem 105.41 Sakharov's conditions ¶
  • depends_on equation 105.34 eq:cpt-VA ¶
  • depends_on theorem 105.34 $CPT$ ¶ ↺
  • proves proof ch:07-discrete-symmetries-cpt@proof-32 ¶
• proves proof ch:13-exp-cp-violation@proof-11 ¶

Supports

Nothing declares a dependency on this node yet.