OAI/Analysis/HardSphere/Allocation/PhysicalBranchEstimates.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HardSphere.Groups.branchParticles line 18
2. lemma OAI.HardSphere.Groups.physicalBranchLaw_primary line 21
3. theorem OAI.HardSphere.Groups.physicalBranchLaw_collision line 35
4. def OAI.HardSphere.Groups.latticeDatumBad line 57
5. lemma OAI.HardSphere.Groups.latticeDatumBad_measurable line 60
6. lemma OAI.HardSphere.Groups.mem_latticeDatumBad line 65
7. lemma OAI.HardSphere.Groups.physicalBranchLaw_path_supply line 77