OAI/MathematicalPhysics/NavierStokes/ShearFlows/ClassicalUniqueness.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ShearFlows.dot_continuousOn line 15
2. theorem OAI.ShearFlows.zero_of_energy_inequality line 23
3. theorem OAI.ShearFlows.fundamentalCube_closure_interior line 50
4. theorem OAI.ShearFlows.periodic_field_zero_of_energy_zero line 56
5. theorem OAI.ShearFlows.classical_velocity_unique line 73
6. theorem OAI.ShearFlows.classical_pressure_unique line 131
7. theorem OAI.ShearFlows.smooth_periodic_classical_unique line 163
8. theorem OAI.ShearFlows.realizingVelocity_unique line 179