OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QubitSubdivisionGadget.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual simultaneous subdivision gadget has inverse-polynomial error at an explicit polynomial choice of rational coefficients.

  1. theorem OAI.ContinuumCoulomb.qmaSubdivision_polynomial_accuracy line 15