OAI/Analysis/CoulombIonization/Localization/CoreHistoryCoordinatesBarrier.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.coreObservationAssoc line 16
2. lemma OAI.CoulombAtom.coreObservationAssoc_core line 22
3. lemma OAI.CoulombAtom.coreObservationAssoc_middle line 27
4. lemma OAI.CoulombAtom.coreObservationAssoc_out line 32
5. lemma OAI.CoulombAtom.joinLists_observation_order line 37
6. lemma OAI.CoulombAtom.coreSlice_observation_order line 51
7. lemma OAI.CoulombAtom.coreObservationAssoc_perm_comp line 63
8. lemma OAI.CoulombAtom.CoreAntisymmetric.observation_order line 75
9. def OAI.CoulombAtom.nextCoreObservation line 87
10. lemma OAI.CoulombAtom.nextCoreObservation_sobolev line 92
11. lemma OAI.CoulombAtom.nextCoreObservation_slice line 98