OAI/Analysis/HardSphere/Bridges/MeshCollision.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Bridge.weighted_heat_tail line 12
2. lemma OAI.HardSphere.Bridge.hit_mem_mesh_union line 51
3. def OAI.HardSphere.Bridge.legWindowCollision line 71
4. lemma OAI.HardSphere.Bridge.endpoint_no_hit line 77
5. lemma OAI.HardSphere.Bridge.windowCollision_subset line 91
6. lemma OAI.HardSphere.Bridge.mesh_tail_bound line 102
7. lemma OAI.HardSphere.Bridge.windowCollision_sum line 122