OAI/Analysis/CoulombRadii/Packets/PacketWidthScalar.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.NeutralAtom.clamped_width_scalar_lipschitz line 12
2. theorem OAI.NeutralAtom.continuous_packetWidth line 70
3. theorem OAI.NeutralAtom.packetWidth_lipschitz line 74