OAI/Analysis/CoulombIonization/Variational/GridIncrementError.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAnalysis.grid_increment_error line 72
2. theorem OAI.CoulombAnalysis.deficit_secant_increments_tendsto_filter line 121
3. theorem OAI.CoulombAnalysis.deficit_secant_energy_tendsto_filter line 161
4. theorem OAI.CoulombAnalysis.priced_energy_limits_filter line 204