OAI/MathematicalPhysics/NavierStokes/VelocityDetection/BurstTotal.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.BurstTotal.localTime_before line 15
2. theorem OAI.VelocityDetection.BurstTotal.localTime_after line 19
3. def OAI.VelocityDetection.BurstTotal.fieldFamily line 24
4. def OAI.VelocityDetection.BurstTotal.sourceFamily line 30
5. def OAI.VelocityDetection.BurstTotal.field line 36
6. def OAI.VelocityDetection.BurstTotal.source line 38
7. theorem OAI.VelocityDetection.BurstTotal.contDiff_field line 40
8. theorem OAI.VelocityDetection.BurstTotal.contDiff_source line 43
9. theorem OAI.VelocityDetection.BurstTotal.field_periodic line 46
10. theorem OAI.VelocityDetection.BurstTotal.source_periodic line 49
11. theorem OAI.VelocityDetection.BurstTotal.field_rest line 53
12. theorem OAI.VelocityDetection.BurstTotal.source_rest line 56
13. theorem OAI.VelocityDetection.BurstTotal.field_divergence line 59
14. theorem OAI.VelocityDetection.BurstTotal.field_at_block line 75
15. def OAI.VelocityDetection.BurstTotal.driftData line 79
16. def OAI.VelocityDetection.BurstTotal.sourceData line 84
17. def OAI.VelocityDetection.BurstTotal.scalar line 89
18. theorem OAI.VelocityDetection.BurstTotal.contDiff_scalar line 92
19. theorem OAI.VelocityDetection.BurstTotal.scalar_periodic line 97
20. theorem OAI.VelocityDetection.BurstTotal.scalar_initial line 101
21. theorem OAI.VelocityDetection.BurstTotal.scalar_equation line 104
22. theorem OAI.VelocityDetection.BurstTotal.scalar_residual line 110