OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourLogical.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Exact logical actions of the six physical exchanges in the singlet code.

  1. def OAI.ContinuumCoulomb.qmaFourLogical line 12
  2. theorem OAI.ContinuumCoulomb.qmaFourLogical_normalize line 17
  3. theorem OAI.ContinuumCoulomb.qmaFourEncoding_action line 30
  4. theorem OAI.ContinuumCoulomb.qmaFourEncoding_compression line 40
  5. theorem OAI.ContinuumCoulomb.qmaFourLogical_Z line 45
  6. theorem OAI.ContinuumCoulomb.qmaFourLogical_X line 49