OAI/Analysis/CoulombIonization/RadialBounds/CoreHistoryFermionBarrier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.leftList_corePerm line 16
2. lemma OAI.CoulombAtom.leftList_liftCoreOrder line 21
3. lemma OAI.CoulombAtom.repeatedCutForm_value line 27
4. lemma OAI.CoulombAtom.nextCoreObservation_value line 37
5. theorem OAI.CoulombAtom.nextCoreObservation_antisymmetric line 47