OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPauliLocal.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Exact supports and tensor joins of the Pauli words used in the reduction.

  1. def OAI.ContinuumCoulomb.qmaPauliSupport line 13
  2. theorem OAI.ContinuumCoulomb.qmaPauliWord_local line 15
  3. theorem OAI.ContinuumCoulomb.qmaPauliWord_support line 38
  4. theorem OAI.ContinuumCoulomb.qmaPauliWord_join line 44
  5. theorem OAI.ContinuumCoulomb.qmaPauliSupport_join line 53
  6. theorem OAI.ContinuumCoulomb.qmaPauliSupport_join_card line 60