OAI/MathematicalPhysics/NavierStokes/Material/Residual.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Alternating.spatialD_time_smooth line 11
2. theorem OAI.Alternating.spatialD_iterate_time_smooth line 19
3. theorem OAI.Alternating.spatialPartial_time_smooth line 27
4. def OAI.Alternating.ordinaryTimeD line 35
5. theorem OAI.Alternating.ordinaryTimeD_smooth line 37
6. theorem OAI.Alternating.timeDerivative_eq_ordinary line 45
7. theorem OAI.Alternating.timeDerivative_smoothUpToZero line 52
8. theorem OAI.Alternating.laplacian_time_smooth line 58
9. theorem OAI.Alternating.convection_time_smooth line 65
10. theorem OAI.Alternating.residual_smoothUpToZero line 72
11. theorem OAI.Alternating.classicalRegularity_of_smooth line 77
12. theorem OAI.Alternating.gradient_zero line 96
13. theorem OAI.Alternating.nsSolution_residual line 100
14. theorem OAI.Alternating.supportedIn_spatialD line 110
15. theorem OAI.Alternating.supportedIn_timeDerivative line 122
16. theorem OAI.Alternating.residual_supported line 131