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

Initializing...

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