OAI/MathematicalPhysics/NavierStokes/BalancedTransport/EffectiveConstruction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BalancedTransport.Effectivity.EffectiveFamily.forwardEq line 10
2. lemma OAI.BalancedTransport.Effectivity.ElementaryPieces.fullInertial line 24
3. lemma OAI.BalancedTransport.Effectivity.ElementaryPieces.viscous line 34
4. theorem OAI.BalancedTransport.Effectivity.effective_loaded_family line 44