OAI/MathematicalPhysics/NavierStokes/VelocityDetection/ChartTraceRouteIsInstalled.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.ChartTrace.route_is_installed line 13
2. theorem OAI.VelocityDetection.ChartTrace.route_bounds line 32
3. theorem OAI.VelocityDetection.ChartTrace.route_nonterminal line 39
4. theorem OAI.VelocityDetection.ChartTrace.packet_support_chart line 47
5. theorem OAI.VelocityDetection.ChartTrace.packet_zero_detector line 58