OAI/Analysis/HardSphere/Comparison/CellAffinity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Comparison.affinity_withDensity_real line 11
2. lemma OAI.HardSphere.Comparison.swapLast_preserving line 27
3. lemma OAI.HardSphere.Comparison.full_affinity_square line 35
4. lemma OAI.HardSphere.Comparison.cell_density_normalization line 88
5. lemma OAI.HardSphere.Comparison.sum_restrict_partition line 112
6. lemma OAI.HardSphere.Comparison.affinity_partition_le line 121
7. lemma OAI.HardSphere.Comparison.cell_affinity_sum_le line 133