OAI/Analysis/HardSphere/Comparison/PhysicalCellReference.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Comparison.restrict_kernel_comp line 15
2. def OAI.HardSphere.Comparison.cellExtraKernel line 24
3. lemma OAI.HardSphere.Comparison.cellExtraKernel_comp line 29
4. lemma OAI.HardSphere.Comparison.cellExtraKernel_density line 43
5. lemma OAI.HardSphere.Groups.physical_group_cell_reference line 56