OAI/Analysis/CoulombRadii/FieldAnalysis/CoreReindex.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.potentialForm_reindex line 13
2. def OAI.Coulomb.coreReindex line 26
3. lemma OAI.Coulomb.coreReindex_left line 29
4. lemma OAI.Coulomb.coreReindex_right line 31
5. lemma OAI.Coulomb.coreReindex_symm line 33
6. lemma OAI.Coulomb.append_coreReindex line 39
7. lemma OAI.Coulomb.reindex_join_coreReindex line 46
8. lemma OAI.Coulomb.coreSlice_coreReindex_values line 58
9. lemma OAI.Coulomb.coreConditionalObservable_coreReindex line 69
10. lemma OAI.Coulomb.slice_positive_square_coreReindex line 88
11. lemma OAI.Coulomb.Antisymmetric.reindex line 100