OAI/MathematicalPhysics/RapidForcing/ParticlePaths.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.curl_affine_cross line 10
2. lemma OAI.RapidForcing.curl_congr_of_eventuallyEq line 58
3. lemma OAI.RapidForcing.zeta_scaled_eventually_one line 63
4. theorem OAI.RapidForcing.movingCurl_at_center line 72
5. lemma OAI.RapidForcing.other_addressCurl_zero line 82
6. lemma OAI.RapidForcing.addressedVelocity_on_step line 99
7. theorem OAI.RapidForcing.addressedVelocity_at_addressPath line 117
8. theorem OAI.RapidForcing.addressedVelocity_at_loadingPath line 134