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

Initializing...

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