OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPortRouteData.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Coarse paths may meet in cells, but disjoint grid edges give disjoint port chains.

  1. structure OAI.ContinuumCoulomb.QMAPortRouteData line 11
  2. abbrev OAI.ContinuumCoulomb.QMAPortRouteData.schedule line 29
  3. def OAI.ContinuumCoulomb.QMAPortRouteData.graph line 31
  4. def OAI.ContinuumCoulomb.QMAPortRouteData.toEmbedding line 35