OAI/MathematicalPhysics/RapidForcing/FieldSyntax.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RapidForcing.EqBefore line 10
2. lemma OAI.RapidForcing.EqBefore.spatial line 16
3. lemma OAI.RapidForcing.EqBefore.time line 20
4. lemma OAI.RapidForcing.EqBefore.mixed line 25
5. def OAI.RapidForcing.EffectiveProfile.Formula.pack line 41
6. def OAI.RapidForcing.EffectiveProfile.Formula.spaceIndex line 42
7. def OAI.RapidForcing.EffectiveProfile.Formula.scalarField line 44
8. def OAI.RapidForcing.EffectiveProfile.Formula.vectorField line 46
9. lemma OAI.RapidForcing.EffectiveProfile.Formula.pack_smooth line 49
10. lemma OAI.RapidForcing.EffectiveProfile.Formula.scalarField_smooth line 53
11. lemma OAI.RapidForcing.EffectiveProfile.Formula.vectorField_smooth line 56
12. lemma OAI.RapidForcing.EffectiveProfile.Formula.pack_space_line line 62
13. lemma OAI.RapidForcing.EffectiveProfile.Formula.pack_time_line line 66
14. lemma OAI.RapidForcing.EffectiveProfile.Formula.spatial_scalarField line 71
15. lemma OAI.RapidForcing.EffectiveProfile.Formula.time_scalarField line 90
16. lemma OAI.RapidForcing.EffectiveProfile.Formula.spatial_vectorField line 101
17. lemma OAI.RapidForcing.EffectiveProfile.Formula.time_vectorField line 111
18. def OAI.RapidForcing.EffectiveProfile.Formula.mixed line 128
19. lemma OAI.RapidForcing.EffectiveProfile.Formula.mixed_vectorField line 132