OAI.CoulombBarrier.tail_initial_good_event: intermediate lemma from OpenAI, Generalized ionization energies for full Coulomb atoms (result family 263)

Initializing...

OAI.CoulombBarrier.tail_initial_good_event: intermediate lemma from OpenAI, Generalized ionization energies for full Coulomb atoms (result family 263) · Prove2Me