OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourFields.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Logical X and Z fields are realized by internal physical exchanges.

  1. def OAI.ContinuumCoulomb.qmaFourField line 12
  2. theorem OAI.ContinuumCoulomb.qmaFourField_compression line 16