OAI/MathematicalPhysics/NavierStokes/VelocityDetection/BurstTotalReferenceSum.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VelocityDetection.BurstTotal.referenceSum line 13
2. def OAI.VelocityDetection.BurstTotal.barrierSum line 16
3. theorem OAI.VelocityDetection.BurstTotal.reference_rest line 18
4. theorem OAI.VelocityDetection.BurstTotal.reference_transport line 23
5. theorem OAI.VelocityDetection.BurstTotal.contDiff_referenceSum line 42
6. theorem OAI.VelocityDetection.BurstTotal.referenceSum_periodic line 48
7. theorem OAI.VelocityDetection.BurstTotal.referenceSum_transport line 53
8. theorem OAI.VelocityDetection.BurstTotal.contDiff_barrierSum line 75
9. theorem OAI.VelocityDetection.BurstTotal.deriv_barrierSum line 78
10. theorem OAI.VelocityDetection.BurstTotal.barrierSum_bounds line 82
11. theorem OAI.VelocityDetection.BurstTotal.referenceSum_laplacian line 86
12. theorem OAI.VelocityDetection.BurstTotal.scalar_prefix_error line 98
13. def OAI.VelocityDetection.BurstTotal.velocity line 119
14. theorem OAI.VelocityDetection.BurstTotal.strip_representative line 122
15. theorem OAI.VelocityDetection.BurstTotal.nonterminal_small line 140
16. theorem OAI.VelocityDetection.BurstTotal.terminal_large line 157
17. theorem OAI.VelocityDetection.BurstTotal.detection line 213