OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumBufferedGridEdge.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

An arm can overlap a grid-aligned unit edge only at its terminal grid point.

  1. theorem OAI.ContinuumCoulomb.qmaBufferedFanout_horizontal_grid_edge line 9
  2. theorem OAI.ContinuumCoulomb.qmaBufferedFanout_vertical_grid_edge line 19