OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumEvenTapeWeights.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The literal parity-correction tape retains the calibrated physical coefficients and scalar offset, in its explicit triple-edge order.

  1. theorem OAI.ContinuumCoulomb.QuantumEvenTapeGeometry.packed_sum line 16
  2. theorem OAI.ContinuumCoulomb.QuantumEvenTapeGeometry.scale_eq line 25
  3. theorem OAI.ContinuumCoulomb.QuantumEvenTapeGeometry.literal_weight line 59
  4. theorem OAI.ContinuumCoulomb.QuantumEvenTapeGeometry.literal_constant line 83
  5. theorem OAI.ContinuumCoulomb.QuantumEvenTapeGeometry.coefficientBound line 110