OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Energy.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BalancedTransport.Analysis.Smooth.slice line 12
2. lemma OAI.BalancedTransport.Analysis.Smooth.sub line 18
3. lemma OAI.BalancedTransport.Analysis.CH.memLp line 21
4. lemma OAI.BalancedTransport.Analysis.membrane_component line 27
5. lemma OAI.BalancedTransport.Analysis.integrable_bounded_mul_l2_mul_l2 line 32
6. lemma OAI.BalancedTransport.Analysis.integral_mul_pd_eq_neg_pd_mul line 41
7. lemma OAI.BalancedTransport.Analysis.transport_component line 50
8. theorem OAI.BalancedTransport.Analysis.transport_cancellation line 82
9. lemma OAI.BalancedTransport.Analysis.diffusion_component line 108
10. theorem OAI.BalancedTransport.Analysis.pressure_cancellation line 117