OAI/MathematicalPhysics/RapidForcing/BoundsPrograms.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.EffectiveArithmetic.computable_list_sum line 10
2. lemma OAI.RapidForcing.EffectiveArithmetic.computable_list_flatMap line 17
3. lemma OAI.RapidForcing.EffectiveProfile.Formula.computable_allDiff line 33
4. lemma OAI.RapidForcing.EffectiveProfile.Formula.computable_jetBound line 41
5. lemma OAI.RapidForcing.EffectiveProfile.Formula.computable_curlJetBound line 53
6. lemma OAI.RapidForcing.ScaleData.computable_coefficientTerm line 64
7. lemma OAI.RapidForcing.ScaleData.computable_coefficientSum line 76
8. lemma OAI.RapidForcing.ScaleData.computable_coefficientBound line 85
9. lemma OAI.RapidForcing.computable_velocityJetBound line 91
10. lemma OAI.RapidForcing.computable_forceJetBound line 97