OAI/MathematicalPhysics/NavierStokes/BalancedTransport/RelativeForce.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Geometry.fullMixedD_add line 10
  2. lemma OAI.BalancedTransport.Geometry.fullMixedD_smul line 30
  3. lemma OAI.BalancedTransport.Geometry.mixedD_affineForce_of_extensions line 48
  4. lemma OAI.BalancedTransport.Effectivity.error_nonneg line 77
  5. lemma OAI.BalancedTransport.Effectivity.error_le_one line 79
  6. lemma OAI.BalancedTransport.Effectivity.error_add line 82
  7. lemma OAI.BalancedTransport.Effectivity.nat_mul_error_shift line 84
  8. lemma OAI.BalancedTransport.Effectivity.family_effective_field line 99
  9. lemma OAI.BalancedTransport.Effectivity.realName_oracle_computable line 110
  10. lemma OAI.BalancedTransport.Effectivity.computableIn_rat_add line 123
  11. lemma OAI.BalancedTransport.Effectivity.computableIn_rat_mul line 129
  12. theorem OAI.BalancedTransport.Effectivity.effective_affine_force line 135
  13. theorem OAI.BalancedTransport.Effectivity.effective_viscosity_clauses line 219
  14. theorem OAI.BalancedTransport.Effectivity.residual_effective_viscosity line 240