OAI/MathematicalPhysics/RapidForcing/ForceSyntax.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RapidForcing.EffectiveProfile.Formula.list_sum_range line 11
  2. def OAI.RapidForcing.EffectiveProfile.Formula.sumVector line 17
  3. lemma OAI.RapidForcing.EffectiveProfile.Formula.vectorField_sumVector line 20
  4. def OAI.RapidForcing.EffectiveProfile.Formula.loadFormula line 29
  5. def OAI.RapidForcing.EffectiveProfile.Formula.addressFormula line 32
  6. def OAI.RapidForcing.EffectiveProfile.Formula.stepFormula line 38
  7. def OAI.RapidForcing.EffectiveProfile.Formula.velocityFormula line 42
  8. lemma OAI.RapidForcing.EffectiveProfile.Formula.vectorField_loadFormula line 45
  9. lemma OAI.RapidForcing.EffectiveProfile.Formula.vectorField_addressFormula line 56
  10. lemma OAI.RapidForcing.EffectiveProfile.Formula.vectorField_stepFormula line 75
  11. lemma OAI.RapidForcing.EffectiveProfile.Formula.vectorField_velocityFormula line 81
  12. def OAI.RapidForcing.EffectiveProfile.Formula.residualFormula line 90
  13. lemma OAI.RapidForcing.EffectiveProfile.Formula.vectorField_residualFormula line 96
  14. lemma OAI.RapidForcing.EqBefore.residual line 112
  15. def OAI.RapidForcing.EffectiveProfile.Formula.forceFormula line 122
  16. lemma OAI.RapidForcing.EffectiveProfile.Formula.forceFormula_correct line 125
  17. lemma OAI.RapidForcing.EffectiveProfile.Formula.mixed_forceFormula_correct line 132