OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumHistorySourcePowers.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The literal coefficient programs and the exact geometry admit a common polynomial exponent, uniform over verifier circuits.

  1. theorem OAI.ContinuumCoulomb.QuantumHistorySpatial.source_data_power line 13