OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumCrossingPorts.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Every nonvertex meeting has four distinct lattice ports, two on each route.

  1. theorem OAI.ContinuumCoulomb.qmaPath_interior_ports line 11
  2. theorem OAI.ContinuumCoulomb.QMASpatialExchangeModel.buffered_crossing_ports line 38