OAI/Analysis/CoulombIonization/FormDomain/UniformFormResidual.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.approximate_uniform_positive_form line 16
2. lemma OAI.CoulombAtom.sectorExcessOperator_diagonal_normalized line 45
3. theorem OAI.CoulombAtom.quantum_uniform_form_residual line 53