OAI/Analysis/CoulombRadii/Packets/MeshInverseDeterministic.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.exists_height_brackets line 12
2. lemma OAI.NeutralAtom.exists_density_mesh_margin line 36
3. lemma OAI.NeutralAtom.negative_modulus_low_transfer line 48
4. lemma OAI.NeutralAtom.negative_modulus_high_transfer line 60
5. theorem OAI.NeutralAtom.inverse_of_space_height_mesh line 68