OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumXZReduction.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Explicit reduction to two-local X/Z Pauli terms, with full-space spectral error.

  1. theorem OAI.ContinuumCoulomb.qmaXZThird_exists line 14
  2. theorem OAI.ContinuumCoulomb.qmaTwoLocalXZ_exists line 55