OAI/MathematicalPhysics/NavierStokes/VelocityDetection/JointCalculus.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VelocityDetection.JointCalculus.dAlong line 16
2. theorem OAI.VelocityDetection.JointCalculus.contDiff_dAlong line 18
3. theorem OAI.VelocityDetection.JointCalculus.compactSupport_dAlong line 22
4. theorem OAI.VelocityDetection.JointCalculus.eventuallyEq_dAlong line 25
5. theorem OAI.VelocityDetection.JointCalculus.timeD_eq line 28
6. theorem OAI.VelocityDetection.JointCalculus.spatialD_eq line 37
7. def OAI.VelocityDetection.JointCalculus.residual line 48
8. theorem OAI.VelocityDetection.JointCalculus.contDiff_residual line 55
9. theorem OAI.VelocityDetection.JointCalculus.residual_eq_horizontalResidual line 66
10. theorem OAI.VelocityDetection.JointCalculus.eventuallyEq_residual line 84
11. theorem OAI.VelocityDetection.JointCalculus.compactSupport_residual line 100