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

Initializing...

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