OAI/MathematicalPhysics/NavierStokes/VelocityDetection/HistoryRoutingTrace.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VelocityDetection.HistoryRouting.trace line 24
2. theorem OAI.VelocityDetection.HistoryRouting.trace_stops_iff line 40
3. def OAI.VelocityDetection.HistoryRouting.initialPoint line 44
4. theorem OAI.VelocityDetection.HistoryRouting.trace_initialPoint line 51
5. theorem OAI.VelocityDetection.HistoryRouting.velocity_detection line 60