OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumForkListNext.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

A complete literal rational fork round, including all four background bonds, the scalar offset and the remaining active ports.

  1. abbrev OAI.ContinuumCoulomb.QuantumForkList.BondInput line 12
  2. def OAI.ContinuumCoulomb.QuantumForkList.bondInputCode line 13
  3. def OAI.ContinuumCoulomb.QuantumForkList.bond line 15
  4. def OAI.ContinuumCoulomb.QuantumForkList.bondProgram line 21
  5. def OAI.ContinuumCoulomb.QuantumForkList.pairBondsProgram line 46
  6. def OAI.ContinuumCoulomb.QuantumForkList.addedBondInputProgram line 53
  7. def OAI.ContinuumCoulomb.QuantumForkList.addedBondsProgram line 67
  8. def OAI.ContinuumCoulomb.QuantumForkList.nextProgram line 80
  9. def OAI.ContinuumCoulomb.QuantumForkList.iterateProgram line 106