OAI/MathematicalPhysics/RapidForcing/CurlSupport.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.supportBox_subset_of_center line 10
2. lemma OAI.RapidForcing.supportBox_subset_K line 19
3. lemma OAI.RapidForcing.grid_coordinate_mem line 38
4. lemma OAI.RapidForcing.addressDisplacement_bound line 44
5. lemma OAI.RapidForcing.addressPath_bound line 64
6. lemma OAI.RapidForcing.addressCurl_tsupport_subset_box line 75
7. lemma OAI.RapidForcing.addressCurl_tsupport_subset_K line 87
8. lemma OAI.RapidForcing.initial_coordinate_mem line 98
9. lemma OAI.RapidForcing.loadingCurl_tsupport_subset_K line 110
10. theorem OAI.RapidForcing.addressedVelocity_supported line 125
11. lemma OAI.RapidForcing.Supported.residual line 142
12. theorem OAI.RapidForcing.addressedForce_supported line 159