OAI/MathematicalPhysics/ContinuumCoulomb/Reduction/ActualOneBodyParameters.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A fixed exponent closes the actual one-body matrix error, including finite slab, nuclear quadrature, counterterms and orthonormalization.

  1. theorem OAI.ContinuumCoulomb.exists_actual_oneBody_parameters line 14