OAI/MathematicalPhysics/NavierStokes/ShearFlows/EnergyCalculus.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ShearFlows.norm_sq_le_dot_self line 13
2. theorem OAI.ShearFlows.abs_dot_le line 24
3. theorem OAI.ShearFlows.dot_linear_bound line 33
4. theorem OAI.ShearFlows.continuousOn_spatial_slice line 42
5. theorem OAI.ShearFlows.continuousOn_cube_integral line 48
6. theorem OAI.ShearFlows.hasDerivAt_cube_integral line 56
7. theorem OAI.ShearFlows.hasDerivAt_dot_self line 86