OAI/Combinatorics/HoneycombCorridor/CollisionWeights.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumBridge.Corridor.IsPolygonStem.left_potential line 10
2. theorem OAI.PolynomialVacuumBridge.Corridor.collision_cycle_weight line 17
3. theorem OAI.PolynomialVacuumBridge.Corridor.collision_cycle_sum line 58
4. theorem OAI.PolynomialVacuumBridge.Corridor.Polygon.trace_interior_of_back line 71
5. theorem OAI.PolynomialVacuumBridge.Corridor.polygonStems_eq_rayExits line 93
6. theorem OAI.PolynomialVacuumBridge.Corridor.collision_sum_polygons line 126