proposition 105.40 Greenberg

Rests on

• 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 ¶
• 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 proposition 38.5 The invariant 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 ¶ ↺
  • proves proof ch:07-discrete-symmetries-cpt@proof-27 ¶

Supports

Nothing declares a dependency on this node yet.