OAI/MathematicalPhysics/NavierStokes/ShearFlows/
619 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- Affine.lean 29 declarations
- ClassicalUniqueness.lean 8 declarations
- Construction.lean 31 declarations
- Differential.lean 11 declarations
- EffectiveInterface.lean 22 declarations
- EffectiveProfiles.lean 32 declarations
- EndpointFlow.lean 11 declarations
- EnergyCalculus.lean 7 declarations
- EnergyComparison.lean 8 declarations
- ExpressionCompiler.lean 42 declarations
- Extension.lean 26 declarations
- FieldExpressions.lean 31 declarations
- Fluid.lean 11 declarations
- ForceEvaluation.lean 21 declarations
- ForceIdentities.lean 14 declarations
- Geometry.lean 18 declarations
- Localization.lean 26 declarations
- Main.lean 6 declarations
- Masks.lean 21 declarations
- MaterialFlow.lean 6 declarations
- Model.lean 68 declarations
- PeriodicCalculus.lean 23 declarations
- PeriodicExpressions.lean 18 declarations
- Profiles.lean 30 declarations
- Pulses.lean 6 declarations
- RationalEvaluation.lean 32 declarations
- Regularity.lean 16 declarations
- ShearFlow.lean 6 declarations
- StageFlow.lean 11 declarations
- Trajectories.lean 3 declarations
- Velocity.lean 25 declarations