OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPortPairing.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Four distinct ports have the crossing pairing or one of the two corner pairings.

  1. def OAI.ContinuumCoulomb.qmaPortPairing line 10
  2. def OAI.ContinuumCoulomb.qmaCrossPortPairing line 13
  3. def OAI.ContinuumCoulomb.qmaCornerPortPairing line 14
  4. theorem OAI.ContinuumCoulomb.qmaPortPairing_classify line 18