OAI/Analysis/CoulombIonization/ThomasFermi/PacketFieldConstant.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.exists_nat_cube_between line 158
2. lemma OAI.CoulombAtom.packet_kinetic_absorb line 184
3. def OAI.CoulombAtom.packetFieldConstant line 199
4. lemma OAI.CoulombAtom.packetFieldConstant_pos line 201
5. lemma OAI.CoulombAtom.field_cap_of_grid_bounds line 207