OAI/Analysis/HardSphere/Comparison/KilledLaplace.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.killedTransition_clamped_continuous line 20
2. def OAI.HardSphere.killedLaplace line 25
3. lemma OAI.HardSphere.killedLaplace_norm_le line 28
4. lemma OAI.HardSphere.killedLaplace_difference_tendsto line 33
5. lemma OAI.HardSphere.killedLaplace_norm_sub_le line 41
6. lemma OAI.HardSphere.killedLaplace_support line 49
7. lemma OAI.HardSphere.killedLaplace_free_energy_bound line 56
8. lemma OAI.HardSphere.killedLaplace_free_graph line 81