OAI/Analysis/CoulombIonization/Localization/FiniteCellObservation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.CoreObservationEnsemble.observeCell line 11
2. def OAI.CoulombAtom.CoreObservationEnsemble.observeCells line 16
3. lemma OAI.CoulombAtom.CoreObservationEnsemble.observeCell_mass line 20
4. lemma OAI.CoulombAtom.CoreObservationEnsemble.observeCell_countMoment line 26
5. lemma OAI.CoulombAtom.CoreObservationEnsemble.observeCells_mass line 34
6. lemma OAI.CoulombAtom.CoreObservationEnsemble.observeCells_countMoment line 40
7. theorem OAI.CoulombAtom.CoreObservationEnsemble.observeCells_excess line 47