OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPortPlanarRealization.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual planarization and nearest-neighbor realization of the completed port graph, using eighty-one fixed subdivision layers after the crossing layer.

  1. theorem OAI.ContinuumCoulomb.QMAPortRouteData.planar_realize line 15