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

Initializing...

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