OAI/Analysis/BiholderTransport/Contact/GlobalSupport.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.WeakMTW.global_support line 22
2. lemma OAI.WeakMTWTransport.WeakMTW.active_hull_global_support line 34
3. def OAI.WeakMTWTransport.twoMountain line 50
4. lemma OAI.WeakMTWTransport.continuous_twoMountain line 54
5. lemma OAI.WeakMTWTransport.twoMountain_self line 58
6. lemma OAI.WeakMTWTransport.cTransform_eq_of_lower_mountain line 60
7. lemma OAI.WeakMTWTransport.cTransform_twoMountain_left line 72
8. lemma OAI.WeakMTWTransport.cTransform_twoMountain_right line 77
9. lemma OAI.WeakMTWTransport.cTransform_cTransform_twoMountain line 82