OAI/Analysis/CoulombIonization/Variational/SelectedMasterComparison.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAtom.selected_fresh_patch_budget_with_deletion line 18
2. def OAI.CoulombAtom.selectedPatchEnergyError line 58
3. def OAI.CoulombAtom.selectedPotentialError line 70
4. theorem OAI.CoulombAtom.exists_selected_radial_potential_error line 78
5. theorem OAI.CoulombAtom.quantum_event_selected_master_center line 97