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

Initializing...

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