OAI/NumberTheory/Ostmann/Construction/ScheduledFinalEnergyComparison.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Final comparison with the actual selected-prime energy

  1. theorem OAI.Ostmann.eventual_scheduled_final_energy_comparison line 13