OAI/Analysis/CoulombRadii/FormDomain/SpaceFourierL2.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.spaceFourierL2 line 82
2. lemma OAI.Coulomb.spaceFourierL2_apply line 86
3. lemma OAI.Coulomb.packetFrame_fourier_weighted_trace line 89
4. lemma OAI.Coulomb.packetFrame_positive_eigen_weakDerivative line 120