OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPortRankProgram.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

The sorted endpoint port is evaluated by counting incident edges whose lane color is smaller. Each record contains the two endpoints and lane color.

  1. abbrev OAI.ContinuumCoulomb.QuantumPortRankProgram.Entry line 13
  2. def OAI.ContinuumCoulomb.QuantumPortRankProgram.entryCode line 14
  3. def OAI.ContinuumCoulomb.QuantumPortRankProgram.below line 16
  4. abbrev OAI.ContinuumCoulomb.QuantumPortRankProgram.Input line 19
  5. def OAI.ContinuumCoulomb.QuantumPortRankProgram.inputCode line 20
  6. def OAI.ContinuumCoulomb.QuantumPortRankProgram.value line 21
  7. def OAI.ContinuumCoulomb.QuantumPortRankProgram.belowProgram line 23
  8. def OAI.ContinuumCoulomb.QuantumPortRankProgram.program line 43
  9. theorem OAI.ContinuumCoulomb.QuantumPortRankProgram.count_ofFn line 47