OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumForkListCellProgram.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

The coarse-cell labels are emitted by literal polynomial finite-list programs, using the same ordered pair catalog as the physical fork compiler.

  1. abbrev OAI.ContinuumCoulomb.QuantumForkList.CellInput line 13
  2. def OAI.ContinuumCoulomb.QuantumForkList.cellInputCode line 14
  3. def OAI.ContinuumCoulomb.QuantumForkList.cellQueryCode line 15
  4. def OAI.ContinuumCoulomb.QuantumForkList.cellAt line 17
  5. def OAI.ContinuumCoulomb.QuantumForkList.nextCellProgram line 19
  6. def OAI.ContinuumCoulomb.QuantumForkList.nextCells line 40
  7. def OAI.ContinuumCoulomb.QuantumForkList.nextCellsProgram line 43