OAI/Combinatorics/TriangleRemoval/Queries/LegalCollisionPairs.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.legalCollisionPairs line 21
2. def OAI.SharpTerminalLeave.tracedCollisionProbability line 29
3. lemma OAI.SharpTerminalLeave.gridCollision_eq_trace line 35
4. lemma OAI.SharpTerminalLeave.log_pair_probability line 44
5. theorem OAI.SharpTerminalLeave.graph_collision_path_sum line 59
6. theorem OAI.SharpTerminalLeave.graph_collision_weighted_path_sum line 99