OAI/MathematicalPhysics/RapidForcing/Flow.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.spatialFDeriv_joint_smooth line 9
2. lemma OAI.RapidForcing.finite_interval_bounds line 17
3. lemma OAI.RapidForcing.finite_interval_lipschitz line 34
4. lemma OAI.RapidForcing.exists_trajectoryOn line 45
5. lemma OAI.RapidForcing.trajectoryOn_unique line 63
6. lemma OAI.RapidForcing.TrajectoryOn.mono line 84
7. theorem OAI.RapidForcing.materialFlow_of_smooth_supported line 89
8. theorem OAI.RapidForcing.addressed_materialFlow line 125
9. lemma OAI.RapidForcing.solution_unique_Icc line 130