OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourTensorNorm.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Spectator-independent bounds for the actual many-block physical couplings.

  1. theorem OAI.ContinuumCoulomb.qmaFourSpin_square line 14
  2. theorem OAI.ContinuumCoulomb.qmaFourTensorSpin_norm line 22
  3. theorem OAI.ContinuumCoulomb.qmaFourTensorCross_norm line 27
  4. theorem OAI.ContinuumCoulomb.qmaFourTensorWeighted_norm line 42
  5. theorem OAI.ContinuumCoulomb.qmaFourTensorAxisCross_norm line 66
  6. theorem OAI.ContinuumCoulomb.qmaFourTensorCoupling_norm line 76