OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumForkListCalibration.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The literal rational scale is exactly the scale appearing in the checked parallel-fork theorem, including all retained odd-port coefficients.

  1. theorem OAI.ContinuumCoulomb.QuantumForkList.catalog_weights_sum line 14
  2. theorem OAI.ContinuumCoulomb.QuantumForkList.scale_eq_graphScale line 28