OAI/MathematicalPhysics/RapidForcing/NamedForce.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RapidForcing.EffectiveProfile.Formula.readReal line 13
2. def OAI.RapidForcing.EffectiveProfile.Formula.readPoint line 15
3. lemma OAI.RapidForcing.EffectiveProfile.Formula.readReal_mem line 18
4. lemma OAI.RapidForcing.EffectiveProfile.Formula.readPoint_mem line 22
5. lemma OAI.RapidForcing.EffectiveProfile.Formula.readPoint_spec line 28
6. def OAI.RapidForcing.EffectiveProfile.Formula.coordinateName line 34
7. lemma OAI.RapidForcing.EffectiveProfile.Formula.coordinateName_spec line 39
8. def OAI.RapidForcing.EffectiveProfile.Formula.timeWindow line 58
9. lemma OAI.RapidForcing.EffectiveProfile.Formula.timeWindow_spec line 60
10. def OAI.RapidForcing.EffectiveProfile.Formula.evaluateForce line 69
11. lemma OAI.RapidForcing.EffectiveProfile.Formula.evaluateForce_spec line 79
12. lemma OAI.RapidForcing.EffectiveProfile.Formula.evaluateForce_dom line 108