OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/BalancedCoefficientEvaluation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Explicit terminating evaluators for the two viscosity-independent force coefficients.

  1. def OAI.ForcedComputation.BalancedExpressions.evaluateCoefficient₀ line 11
  2. def OAI.ForcedComputation.BalancedExpressions.evaluateCoefficient₁ line 15
  3. theorem OAI.ForcedComputation.BalancedExpressions.constantName line 20
  4. theorem OAI.ForcedComputation.BalancedExpressions.evaluateCoefficient₀_spec line 26
  5. theorem OAI.ForcedComputation.BalancedExpressions.evaluateCoefficient₁_spec line 35