OAI/MathematicalPhysics/RapidForcing/Collars.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.addressCurl_tsupport_disjoint line 9
2. lemma OAI.RapidForcing.cross_zero_left line 28
3. lemma OAI.RapidForcing.curl_zero line 31
4. lemma OAI.RapidForcing.movingCurl_eq_zero_of_deriv_eq_zero line 35
5. lemma OAI.RapidForcing.movingCurl_left_collar line 40
6. lemma OAI.RapidForcing.movingCurl_right_collar line 48
7. theorem OAI.RapidForcing.addressedVelocity_initial_collar line 56
8. theorem OAI.RapidForcing.addressedVelocity_initial line 66
9. theorem OAI.RapidForcing.addressed_fields_mixed_support line 70