OAI/Analysis/CoulombRadii/FormDomain/RecordReindex.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.H1Vector.reindex line 13
2. lemma OAI.Coulomb.H1Vector.reindex_value line 18
3. lemma OAI.Coulomb.mass_reindex line 25
4. lemma OAI.Coulomb.form_reindex line 31
5. def OAI.Coulomb.recordAssoc line 37
6. lemma OAI.Coulomb.recordAssoc_left line 42
7. lemma OAI.Coulomb.recordAssoc_middle line 47
8. lemma OAI.Coulomb.recordAssoc_right line 53
9. lemma OAI.Coulomb.append_recordAssoc line 59
10. lemma OAI.Coulomb.reindex_join_recordAssoc line 70
11. lemma OAI.Coulomb.reindexConfiguration_continuous line 86