OAI.NeutralAtom.physical_neutral_energy_offset: intermediate lemma from OpenAI, Generalized outer-electron radii of neutral Coulomb atoms (result family 263)

Initializing...

OAI.NeutralAtom.physical_neutral_energy_offset: intermediate lemma from OpenAI, Generalized outer-electron radii of neutral Coulomb atoms (result family 263) · Prove2Me