OAI/Analysis/CoulombIonization/Variational/SpinJoinEquiv.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.spinJoinEquiv line 77
2. lemma OAI.CoulombAtom.spinJoinEquiv_apply line 81
3. lemma OAI.CoulombAtom.sum_spin_join line 91
4. lemma OAI.CoulombAtom.configurationJoin_apply_prod line 97
5. lemma OAI.CoulombAtom.integrable_join line 102
6. lemma OAI.CoulombAtom.integral_join line 108
7. lemma OAI.CoulombAtom.coreSlice_mass_integrable line 118
8. lemma OAI.CoulombAtom.integral_coreSlice_mass line 126
9. lemma OAI.CoulombAtom.coreSlice_energy_integrable line 138
10. theorem OAI.CoulombAtom.integrated_core_energy line 176
11. theorem OAI.CoulombAtom.weighted_core_energy line 186