OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumBufferedFanout.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Endpoint arms offset from all global grid lines, with a one-step terminal join.

  1. def OAI.ContinuumCoulomb.qmaBufferedPort line 9
  2. def OAI.ContinuumCoulomb.qmaBufferedOffset line 10
  3. theorem OAI.ContinuumCoulomb.qmaBufferedOffset_bounds line 13
  4. theorem OAI.ContinuumCoulomb.qmaBufferedOffset_not_grid line 19
  5. def OAI.ContinuumCoulomb.qmaBufferedFanoutSupport line 24
  6. theorem OAI.ContinuumCoulomb.qmaBufferedFanout_center line 40
  7. theorem OAI.ContinuumCoulomb.qmaBufferedFanout_port line 45
  8. theorem OAI.ContinuumCoulomb.qmaBufferedFanout_only_center line 49
  9. theorem OAI.ContinuumCoulomb.qmaBufferedFanout_grid_point line 60
  10. theorem OAI.ContinuumCoulomb.qmaBufferedStub_avoids_outgoing line 72