OAI/Analysis/CoulombRadii/Propagation/NuclearPotentialSplitJoin.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.nuclearPotential_split_join line 124
2. lemma OAI.Coulomb.pairPotential_split_join line 129
3. lemma OAI.Coulomb.H1Vector.core_nuclear_integrable line 144
4. lemma OAI.Coulomb.H1Vector.core_pair_integrable line 156
5. lemma OAI.Coulomb.conditional_core_nuclear_identity line 170
6. lemma OAI.Coulomb.conditional_core_pair_identity line 178