OAI/Analysis/HardSphere/Collisions/PhysicalCollisionReference.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HardSphere.Groups.physicalCollisionReference line 17
2. lemma OAI.HardSphere.Groups.physicalCollisionReference_eq line 25
3. lemma OAI.HardSphere.Groups.routeOwner_mem_real line 35
4. lemma OAI.HardSphere.Groups.reverse_routeOwner_mem_real line 42
5. theorem OAI.HardSphere.Groups.physicalCollisionReference_collision line 50
6. lemma OAI.HardSphere.Groups.physical_primary_domination line 76
7. theorem OAI.HardSphere.Groups.physical_auxiliary_collision_bounds line 87